Philip Wadler

Identifiers

• name variant Philip Wadler 0.60 · backfill

Papers (6)

1. Refinement Reflection: Complete Verification with SMT cs.PL · 2017 · author #6
2. Mixing Metaphors: Actors as Channels and Channels as Actors (Extended Version) cs.PL · 2016 · author #3
3. Embedding by Normalisation cs.PL · 2016 · author #4
4. Everything old is new again: Quoted Domain Specific Languages cs.PL · 2015 · author #4
5. Query shredding: Efficient relational evaluation of queries over nested multisets (extended version) cs.DB · 2014 · author #3
6. Effective Quotation: relating approaches to language-integrated query cs.PL · 2013 · author #4

Mentions

• 1404.7078 #3 · backfill · confidence 0.70 Philip Wadler
• 1310.4780 #4 · backfill · confidence 0.70 Philip Wadler

Frequent Coauthors

• Sam Lindley 5 shared papers
• James Cheney 2 shared papers
• Josef Svenningsson 2 shared papers
• Shayan Najd 2 shared papers
• Anish Tondwalkar 1 shared papers
• Gabriel Radanne 1 shared papers
• Niki Vazou 1 shared papers
• Ranjit Jhala 1 shared papers
• Ryan G. Scott 1 shared papers
• Ryan R. Newton 1 shared papers
• Simon Fowler 1 shared papers
• Vikraman Choudhury 1 shared papers