A. Butterfield
7 published titles
The Sticks and Stones Project
(Contributor)
1 edition
- Trinity College, Department of Computer Science
- 1991
- Details
On curried function composition
2 editions
- Trinity College, Department of Computer Science
- 1992
- Details
- Trinity College Dublin
- 1992
- Details
Memory models : a formal analysis using VDM
1 edition
- Trinity College, Department of Computer Science
- 1992
- Details
The careful memory abstraction in stable storage
1 edition
- Trinity College, Department of Computer Science
- 1993
- Details
A VDM study of fault-tolerant stable storage - towards a computer engineering mathematics
1 edition
- Trinity College, Department of Computer Science
- 1993
- Details
On mapped reduction
1 edition
- Trinity College, Department of Computer Science
- 1993
- Details
Implementation and application of functional languages : 17th international workshop, IFL 2005 Dublin, Ireland, September 19-21, 2005 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783540691747
- Springer
- 2006
- Details
