Greg Michaelson

Proceedings of the 15th international conference on Implementation of Functional Languages

Phil Trinder, Greg Michaelson, Ricardo Peña, 2002 .

Trends in Functional Programming

Hans-Wolfgang Loidl, Phil Trinder, Greg Michaelson, 2012, Lecture Notes in Computer Science.

Verifying parallel dataflow transformations with model checking and its application to FPGAs

Andrew M. Wallace, Robert J. Stewart, Greg Michaelson, 2019, J. Syst. Archit..

Proceedings of the 16th international conference on Implementation and Application of Functional Languages

Clemens Grelck, Phil Trinder, Greg Michaelson, 2004 .

Review: Knowledge Management in the SocioTechnical World: the Graffiti Continues

Greg Michaelson, 2003 .

Explaining Polymorphic Types

Phil Trinder, Greg Michaelson, Yang Jun, 2002, Comput. J..

Interpreters From Functions and Grammars

Greg Michaelson, G. Michaelson, 1986, Comput. Lang..

Programming Paradigms, Turing Completeness and Computational Thinking pdf

Greg Michaelson, 2020, Art Sci. Eng. Program..

Higher order function synthesis through proof planning

Andrew Ireland, Greg Michaelson, Andrew Cook, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches

Greg Michaelson, 2019, Formal Aspects of Computing.