dblp.uni-trier.dewww.uni-trier.de

Colin J. M. Kemp

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
4EEPaul 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
2EEPaul A. Bailes, Colin J. M. Kemp: Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. COMPSAC 2003: 520-526
2002
1EEPaul A. Bailes, Colin J. M. Kemp: Formal Methods within a Totally Functional Approach to Programming. 10th Anniversary Colloquium of UNU/IIST 2002: 287-307

Coauthor Index

1Paul A. Bailes [1] [2] [3] [4] [5]
2Ian Peake [3]
3Sean Seefried [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)