John Launchbury
From MaRDI portal
Person:915482
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Coroutining folds with hyperfunctions | 2021-06-21 | Paper |
| Coroutining folds with hyperfunctions (available as arXiv preprint) | 2021-06-21 | Paper |
| Monadic state: axiomatization and type safety Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| Recursive monadic bindings Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
| Implicit parameters: dynamic scoping with static types Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Efficient lookup-table protocol in secure multiparty computation Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Semantics of value recursion for Monadic Input/Output RAIRO - Theoretical Informatics and Applications | 2003-01-22 | Paper |
| Semantics of value recursion for Monadic Input/Output RAIRO - Theoretical Informatics and Applications | 2003-01-22 | Paper |
| Semantics of value recursion for Monadic Input/Output RAIRO - Theoretical Informatics and Applications | 2003-01-22 | Paper |
| scientific article; zbMATH DE number 1701358 (Why is no real title available?) | 2002-02-05 | Paper |
| Representing demand by partial projections Journal of Functional Programming | 1997-05-06 | Paper |
| Projection Factorisations in Partial Evaluation | 1992-09-18 | Paper |
| Strictness analysis aids inductive proofs Information Processing Letters | 1990-01-01 | Paper |
Research outcomes over time
This page was built for person: John Launchbury
