Philip Wadler presents a practical theory of language-integrated query based on quotation and normalization of quoted terms and a theorem guaranteeing that a host query generates a single SQL query.
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, Oxford, Glasgow, Bell Labs, etc.
Now in its 3rd year, FP Days brings together the best speakers on Clojure, Haskell, Erlang, F#, OCaml and Scala for 2 days of intense, practical learning and shared experiences. Whether you're an FP beginner or a seasoned practitioner you're welcome to participate, meet your peers and have fun.