The following pages link to Greg Michaelson (Q604859):
Displayed 18 items.
- The Peter Landin prize (Q604860) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- Book review of: B. Steffen et al., Mathematical foundations of advanced informatics. Volume 1. Inductive approaches (Q2335952) (← links)
- Physical constraints on hypercomputation (Q2482458) (← links)
- Orthogonal parallel processing in Vector Pascal (Q2568278) (← links)
- Explaining Polymorphic Types (Q3148232) (← links)
- A parallel SML compiler based on algorithmic skeletons (Q3367669) (← links)
- Interpreters from functions and grammars (Q3732936) (← links)
- (Q4409869) (← links)
- (Q4460217) (← links)
- Expressiveness, meanings and machines (Q4628355) (← links)
- (Q4692504) (← links)
- (Q4736981) (← links)
- (Q5246016) (← links)
- (Q5389951) (← links)
- Characterising Effective Resource Analyses for Parallel and Distributed Coordination (Q5747631) (← links)
- Logical Approaches to Computational Barriers (Q5898836) (← links)
- Review of <i>Formal Methods: An Appetizer</i> (Q6136752) (← links)