Peter Sestoft
From MaRDI portal
Person:1104068
Available identifiers
zbMath Open sestoft.peterMaRDI QIDQ1104068
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 |
|---|---|---|
| Programming language concepts. With a chapter by Niels Hallenberg | 2018-02-28 | Paper |
| Demonstrating Lambda Calculus Reduction | 2013-04-26 | Paper |
| Annotated C\# standard | 2008-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430323 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414741 | 2003-07-27 | Paper |
| Deriving a lazy abstract machine | 1997-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281508 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287559 | 1993-07-15 | Paper |
| Referential transparency, definiteness and unfoldability | 1990-01-01 | Paper |
| Annotated bibliography on partial evaluation and mixed computation | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787457 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711735 | 1986-01-01 | Paper |
Research outcomes over time
This page was built for person: Peter Sestoft
