|
|
Edinburgh Research Archive >
Browsing by Author Wadler, Philip
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) | Supervisor(s) | | 2010 | Abstraction for web programming | Yallop, Jeremy | Wadler, Philip |
| 2009 | Blame for all | Ahmed, Amal; Findler, Robert Bruce; Matthews, Jacob; Wadler, Philip | - |
| 2008 | The Essence of Form Abstraction | Cooper, Ezra; Lindley, Sam; Wadler, Philip; Yallop, Jeremy | - |
| 2008 | Idioms are oblivious, arrows are meticulous, monads are promiscuous | Lindley, Sam; Wadler, Philip; Yallop, Jeremy | - |
| 2009 | Monadic constraint programming | Schrijvers, Tom; Stuckey, Peter; Wadler, Philip | - |
| 2009 | Pure subtype systems: a type theory for extensible software | Hutchins, DeLesley | Wadler, Philip |
| 2009 | The RPC Calculus | Cooper, Ezra; Wadler, Philip | - |
| 2009 | Threesomes, With and Without Blame | Siek, Jeremy; Wadler, Philip | - |
| 2009 | Well-Typed Programs Can’t Be Blamed | Wadler, Philip; Findler, Robert Bruce | - |
Showing results 1 to 9 of 9
|
