Personal tools
You are here: Home Graduate Study Databases and Programming Languages: Together again for the first time

Databases and Programming Languages: Together again for the first time

A venerable line of research aims to provide a general-purpose programming language with a well-defined subset that compiles into efficient queries, perhaps by translation into SQL or some other suitable query language. This line of work includes older work on Kleisli, and more recent work on LINQ, Ferry, and Links. The Links language incorporates a type system that can determine when code can compile to an SQL query, based on an effect type system. Work is ongoing to extend Links to include a wider range of SQL features, including aggregation and grouping, and to include representations of nested data in a flat database (following the lead of Ferry).

 

Supervisor

Philip Wadler

Others working on this topic;

Sam Lindley; James Cheney; and ongoing research links with the Ferry team at Tübingen.

Document Actions