Geoffrey L. Burn

Available identifiers

zbMath Open burn.geoffrey-lWikidataQ102291583 ScholiaQ102291583MaRDI QIDQ1082801

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2736366	2001-08-29	Paper
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†	1996-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4311530	1994-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4281611	1994-03-10	Paper
A safe approach to parallel combinator reduction	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026318	1987-01-01	Paper
Strictness analysis for higher-order functions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713568	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3729991	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Geoffrey L. Burn