Greg Michaelson

From MaRDI portal
Person:604859

Available identifiers

zbMath Open michaelson.gregMaRDI QIDQ604859

List of research outcomes





PublicationDate of PublicationType
Review of Formal Methods: An Appetizer2023-08-31Paper
Book review of: B. Steffen et al., Mathematical foundations of advanced informatics. Volume 1. Inductive approaches2019-11-18Paper
Expressiveness, meanings and machines2019-03-20Paper
https://portal.mardi4nfdi.de/entity/Q52460162015-04-17Paper
Computation and its limits.2012-04-24Paper
Hume box calculus: Robust system development through software transformation2012-01-13Paper
The Peter Landin prize2010-11-12Paper
Characterising effective resource analyses for parallel and distributed coordination2010-09-14Paper
Physical constraints on hypercomputation2008-04-16Paper
Logical Approaches to Computational Barriers2007-04-30Paper
A parallel SML compiler based on algorithmic skeletons2006-01-25Paper
Orthogonal parallel processing in Vector Pascal2005-10-10Paper
https://portal.mardi4nfdi.de/entity/Q47369812004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44602172004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44098692003-07-01Paper
Explaining Polymorphic Types2002-01-01Paper
NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS2001-09-19Paper
https://portal.mardi4nfdi.de/entity/Q46925041993-06-05Paper
Interpreters from functions and grammars1986-01-01Paper

Research outcomes over time

This page was built for person: Greg Michaelson

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