Peter Sestoft

From MaRDI portal
Person:1104068

Available identifiers

zbMath Open sestoft.peterMaRDI QIDQ1104068

List of research outcomes





PublicationDate of PublicationType
Programming language concepts. With a chapter by Niels Hallenberg2018-02-28Paper
Demonstrating Lambda Calculus Reduction2013-04-26Paper
https://portal.mardi4nfdi.de/entity/Q54451172008-03-03Paper
https://portal.mardi4nfdi.de/entity/Q44303232003-10-20Paper
https://portal.mardi4nfdi.de/entity/Q44147412003-07-27Paper
Deriving a lazy abstract machine1997-09-29Paper
https://portal.mardi4nfdi.de/entity/Q42815081994-03-10Paper
https://portal.mardi4nfdi.de/entity/Q52875591993-07-15Paper
Referential transparency, definiteness and unfoldability1990-01-01Paper
Annotated bibliography on partial evaluation and mixed computation1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37874571988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37117351986-01-01Paper

Research outcomes over time

This page was built for person: Peter Sestoft

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1104068&oldid=5947010"
Powered by MediaWiki