BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations A Practical Theory of Language-integrated Query

A Practical Theory of Language-integrated Query

Bookmarks
01:21:00

Summary

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.

Bio

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.

About the conference

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.

Recorded at:

Mar 30, 2014

BT