John Reppy
From MaRDI portal
Person:1854551
Available identifiers
zbMath Open reppy.john-hWikidataQ102273885 ScholiaQ102273885MaRDI QIDQ1854551
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 | 2015-03-05 | Paper |
| Parallel concurrent ML | 2015-01-06 | Paper |
| Specialization of CML message-passing primitives | 2014-09-12 | Paper |
| Nested data-parallelism on the GPU | 2014-07-21 | Paper |
| Lazy tree splitting | 2012-10-29 | Paper |
| Implicitly threaded parallelism in Manticore | 2011-07-25 | Paper |
| Regular-expression derivatives re-examined | 2009-03-25 | Paper |
| Concurrent Programming in ML | 2007-10-25 | Paper |
| Optimizing nested loops using local CPS conversion | 2003-05-14 | Paper |
| Inheritance-based subtyping | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729055 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130177 | 1997-10-09 | Paper |
| Concurrent Programming in ML | 1995-11-23 | Paper |
Research outcomes over time
This page was built for person: John Reppy
