sign in · help · news · about ·

BibSonomy :: author :: Michaelson ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(71)

<< < 1 | 2 | 3 > >>

Automatically Costed Autonomous Mobility.
Xiao Yan Deng, Greg Michaelson, and Philip W. Trinder IAT, page 95-101. IEEE Computer Society, (2007)
to dblp by dblp on Nov 28, 2011, 12:00 AM
URL | BibTeX
Hume box calculus: robust system development through software transformation.
Gudmund Grov, and Greg Michaelson Higher-Order and Symbolic Computation 23(2):191-226 (2010)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
Special issue on social impact of AI: killer robots or friendly fridges.
Greg Michaelson, and Ruth Aylett AI Soc. 26(4):317-318 (2011)
to dblp by dblp on Oct 31, 2011, 12:00 AM
URL | BibTeX
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain.
Kevin Hammond, and Greg Michaelson Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, page 127-142. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Interpreters From Functions and Grammars.
Greg Michaelson Comput. Lang. 11(2):85-104 (1986)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Hume: A Domain-Specific Language for Real-Time Embedded Systems.
Kevin Hammond, and Greg Michaelson GPCE, volume 2830 of Lecture Notes in Computer Science, page 37-56. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Predictable Space Behaviour in FSM-Hume.
Kevin Hammond, and Greg Michaelson IFL, volume 2670 of Lecture Notes in Computer Science, page 1-16. Springer, (2002)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing.
Nestor Miliaev, Alison Cawsey, and Greg Michaelson AIMSA, volume 2443 of Lecture Notes in Computer Science, page 122-131. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.
Norman Scaife, Greg Michaelson, and Susumu Horiguchi IFL, volume 2312 of Lecture Notes in Computer Science, page 138-154. Springer, (2001)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Explaining Polymorphic Types.
Yang Jun, Greg Michaelson, and Philip W. Trinder Comput. J. 45(4):436-452 (2002)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
The Architecture of a Framework for Building Distributed Learning Environments.
Colin Allison, David McKechan, Alan Ruddle, and Rosa Michaelson ICALT, page 29-34. (2001)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation.
Allin Cottrell, W. Paul Cockshott, and Greg Michaelson IJUC 5(3-4):223-236 (2009)
to dblp by dblp on Jun 14, 2011, 12:00 AM
URL | BibTeX
A visualisation of polymorphic type checking.
Yang Jung, and Greg Michaelson J. Funct. Program. 10(1):57-75 (2000)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Prototyping a Parallel Vision System in Standard ML.
Greg Michaelson, and Norman Scaife J. Funct. Program. 5(3):345-382 (1995)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Comparing Parallel Functional Languages: Programming and Performance.
Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, and Philip W. Trinder Higher-Order and Symbolic Computation 16(3):203-251 (2003)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
An introduction to functional programming through lambda calculus.
Greg J. Michaelson International computer science series Addison-Wesley, (1989)
to dblp by dblp on May 5, 2011, 12:00 AM
BibTeX
In memory of Manny Lehman, 'Father of Software Evolution'.
Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Darren Dalcher, Peter Ross, Paul Wernick, and Dewayne E. Perry Journal of Software Maintenance 23(3):137-144 (2011)
to dblp by dblp on Apr 20, 2011, 12:00 AM
URL | BibTeX
The Peter Landin prize.
Kevin Hammond, and Greg Michaelson Higher-Order and Symbolic Computation 22(4):305-312 (2009)
to dblp by dblp on Nov 26, 2010, 12:00 AM
URL | BibTeX
Alison Cawsey.
Greg Michaelson Computational Linguistics 35(4):475-481 (2009)
to dblp by dblp on Aug 27, 2010, 12:00 AM
URL | BibTeX
Cost-driven autonomous mobility.
Xiao Yan Deng, Greg Michaelson, and Philip W. Trinder Computer Languages, Systems & Structures 36(1):34-59 (2010)
to dblp by dblp on Jul 21, 2010, 3:41 PM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper