The following pages link to Rod Burstall (Q1183596):
Displaying 48 items.
- (Q1059403) (redirect page) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Inductively defined functions in functional programming languages (Q1089782) (← links)
- Pebble, a kernel language for modules and abstract data types (Q1104071) (← links)
- Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique (Q1158946) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- A versatile system for computer-controlled assembly (Q1216189) (← links)
- A system which automatically improves programs (Q1224418) (← links)
- Subgraph isomorphism, matching relational structures and maximal cliques (Q1245239) (← links)
- (Q1566862) (redirect page) (← links)
- Christopher Strachey -- understanding programming languages (Q1566863) (← links)
- Explicit environments (Q2708319) (← links)
- (Q2766806) (← links)
- (Q3042444) (← links)
- (Q3332238) (← links)
- (Q3345748) (← links)
- (Q3667921) (← links)
- (Q3687692) (← links)
- (Q3698294) (← links)
- (Q3819967) (← links)
- (Q3875323) (← links)
- (Q3906394) (← links)
- (Q3912003) (← links)
- (Q4012880) (← links)
- (Q4040030) (← links)
- (Q4054648) (← links)
- A Transformation System for Developing Recursive Programs (Q4111080) (← links)
- (Q4138103) (← links)
- (Q4178463) (← links)
- (Q4263880) (← links)
- (Q4281657) (← links)
- Institutions: abstract model theory for specification and programming (Q4302820) (← links)
- (Q4499291) (← links)
- (Q4723263) (← links)
- (Q4725714) (← links)
- (Q4725721) (← links)
- (Q5416166) (← links)
- Computer Design of Electricity Supply Networks by a Heuristic Method (Q5517244) (← links)
- Proving Properties of Programs by Structural Induction (Q5549412) (← links)
- (Q5615722) (← links)
- (Q5617312) (← links)
- (Q5618896) (← links)
- (Q5620341) (← links)
- (Q5626275) (← links)
- (Q5642015) (← links)
- (Q5674963) (← links)
- My Friend Joseph Goguen (Q5757945) (← links)