Greg Michaelson

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
Review of Formal Methods: An Appetizer Formal Aspects of Computing	2023-08-31	Paper
Book review of: B. Steffen et al., Mathematical foundations of advanced informatics. Volume 1. Inductive approaches Formal Aspects of Computing	2019-11-18	Paper
Expressiveness, meanings and machines Computability	2019-03-20	Paper
scientific article; zbMATH DE number 6426780 (Why is no real title available?)	2015-04-17	Paper
Computation and its limits.	2012-04-24	Paper
Hume box calculus: Robust system development through software transformation Higher-Order and Symbolic Computation	2012-01-13	Paper
The Peter Landin prize Higher-Order and Symbolic Computation	2010-11-12	Paper
Characterising effective resource analyses for parallel and distributed coordination Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
Physical constraints on hypercomputation Theoretical Computer Science	2008-04-16	Paper
Logical Approaches to Computational Barriers Lecture Notes in Computer Science	2007-04-30	Paper
A parallel SML compiler based on algorithmic skeletons Journal of Functional Programming	2006-01-25	Paper
Orthogonal parallel processing in Vector Pascal Computer Languages, Systems & Structures	2005-10-10	Paper
scientific article; zbMATH DE number 2086501 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2065561 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 1943835 (Why is no real title available?)	2003-07-01	Paper
Explaining Polymorphic Types The Computer Journal	2002-01-01	Paper
NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS Parallel Algorithms and Applications	2001-09-19	Paper
scientific article; zbMATH DE number 194541 (Why is no real title available?)	1993-06-05	Paper
Interpreters from functions and grammars Computer Languages	1986-01-01	Paper

Research outcomes over time

This page was built for person: Greg Michaelson