Curry On TalksCurryOn 2018

These pages mirror the main Curry On website which can be found here.

Talks

	Title
	A CRDT Primer: Defanging Order Theory John Mumm
	Adding kind-polymorphism to the Scala programming language Miles Sabin
	Akka.JS and why the actor model matters even in JS's world. Andrea Peruffo
	ApacheSpark as a gateway drug to FP: Concepts taught & broken Holden Karau
	Atom Heart Monad: FRP in C++ Ivan Čukić
	Better living through incrementality: Immediate static analysis feedback without loss of precision Tamás Szabó, Sebastian Erdweg
	Challenges in Large-Scale Mobile App Performance Manu Sridharan
	Code into Data: Embedding programs into datastores with GraalVM Thomas Wuerthinger
	Constant-time crypto programming with FaCT Deian Stefan
	DB ⋈ FP = Datafun: a new functional query language Michael Arntzenius
	Distributed Systems Protocols and their Vulnerabilities Yifan Xing
	Do-It-Yourself Functional Reactive Programming Manuel Chakravarty
	Domain Specific Programming Platforms for Creativity Jennifer Mary Jacobs
	Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra Ron Pressler
	Hackett: a metaprogrammable Haskell Alexis King
	Isolation Without Containers Tyler McMullen
	It Ain't Necessarily So Chris Ford
	Language Design in the Open Yulia Startsev
	Lector in Codigo Alvaro Videla
	Lessons from a Big Data Machine Learning Startup Cliff Click
	Little Languages Chris Laffra
	Luna - overview Sylwia Brodacka
	Papers we love - Elixir edition Andrea Leopardi
	Rethinking Modern Web Browsers Ben Livshits
	Serverless Computing with Functions Rodric Rabbah
	Simplicity - The Road Not Taken? Dave Thomas
	Spoofax: Live Programming Language Design Eelco Visser
	Strategies for Streaming Arnout Engelen
	Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra Bas Geerdink
	SuperRecord: Practical Anonymous Records for Haskell Alexander Thiemann
	Taming the C monster: Haskell FFI techniques Fraser Tweedale
	Transducing for fun and profit Simon Belak
	Type-Safe GraphQL Servers with GADTs Andreas Garnæs
	Using APIs and micro-services as the glue between observed and derived facts Faraz Babar
	Why VM Benchmarking is Probably Misleading you Edd Barrett
	Your inner compiler engineer wants out! Jesse Alama