John Reppy
From MaRDI portal
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 |
|---|---|---|
| Quantum Hoare type theory: extended abstract | 2024-11-28 | Paper |
| Lazy tree splitting Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Parallel concurrent ML Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Specialization of CML message-passing primitives Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Nested data-parallelism on the GPU Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Lazy tree splitting Journal of Functional Programming | 2012-10-29 | Paper |
| Implicitly threaded parallelism in Manticore Journal of Functional Programming | 2011-07-25 | Paper |
| Regular-expression derivatives re-examined Journal of Functional Programming | 2009-03-25 | Paper |
| Concurrent Programming in ML | 2007-10-25 | Paper |
| Optimizing nested loops using local CPS conversion Higher-Order and Symbolic Computation | 2003-05-14 | Paper |
| Inheritance-based subtyping Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1629943 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1002574 (Why is no real title available?) | 1997-10-09 | Paper |
| Concurrent Programming in ML | 1995-11-23 | Paper |
Research outcomes over time
This page was built for person: John Reppy
