| |
| 2005 | ||
|---|---|---|
| 5 | Paul A. Bailes, Colin J. M. Kemp: Fusing Folds and Data Structures into Zoetic Data. IASTED Conf. on Software Engineering 2005: 299-306 | |
| 2004 | ||
| 4 | EE | Paul A. Bailes, Colin J. M. Kemp: Obstacles to a Totally Functional Programming Style. Australian Software Engineering Conference 2004: 178-189 |
| 2003 | ||
| 3 | Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried: Why Functional Programming Really Matters. Applied Informatics 2003: 919-926 | |
| 2 | EE | Paul A. Bailes, Colin J. M. Kemp: Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. COMPSAC 2003: 520-526 |
| 2002 | ||
| 1 | EE | Paul A. Bailes, Colin J. M. Kemp: Formal Methods within a Totally Functional Approach to Programming. 10th Anniversary Colloquium of UNU/IIST 2002: 287-307 |
| 1 | Paul A. Bailes | [1] [2] [3] [4] [5] |
| 2 | Ian Peake | [3] |
| 3 | Sean Seefried | [3] |