28 citations · 34 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014★ 5 cited
Sessions as Propositions
Sam Lindley, J. Garrett Morris
Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this…
cs.DB2014★ 28 cited
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version)
James Cheney, Sam Lindley, Philip Wadler
Nested relational query languages have been explored extensively, and underlie industrial language-integrated query systems such as Microsoft's LINQ. However, relational databases…