Geoffrey L. Burn

From MaRDI portal
Person:1082801

Available identifiers

zbMath Open burn.geoffrey-lWikidataQ102291583 ScholiaQ102291583MaRDI QIDQ1082801

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q27363662001-08-29Paper
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†1996-06-09Paper
https://portal.mardi4nfdi.de/entity/Q43115301994-10-27Paper
https://portal.mardi4nfdi.de/entity/Q42816111994-03-10Paper
A safe approach to parallel combinator reduction1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30263181987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37299911986-01-01Paper
Strictness analysis for higher-order functions1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37135681986-01-01Paper

Research outcomes over time

This page was built for person: Geoffrey L. Burn

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