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

Colin J. M. Kemp Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Bailes, Colin J. M. Kemp: Fusing Folds and Data Structures into Zoetic Data. IASTED Conf. on Software Engineering 2005: 299-306
2004
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Bailes, Colin J. M. Kemp: Obstacles to a Totally Functional Programming Style. Australian Software Engineering Conference 2004: 178-189
2003
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried: Why Functional Programming Really Matters. Applied Informatics 2003: 919-926
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul A. Bailes, Colin J. M. Kemp: Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. COMPSAC 2003: 520-526
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page