|
Edinburgh Research Archive >
Browsing by Author Lindley, Sam
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | Supervisor(s) | | Jan-2010 | The arrow calculus | Lindley, Sam; Wadler, P.; Yallop, J. | - |
| 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 | - |
| Jun-2005 | Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages | Lindley, Sam | Stark, Ian; Gilmore, Stephen |
Showing results 1 to 4 of 4
|
