Colin J. M. Kemp

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 2

Top Topics

Software Engineering

Functional Programming

Data Distribution

Computer Science Curriculum

Top Venues

ENASE (Selected Papers)

Publications

Paul A. Bailes, Colin J. M. Kemp
Zoetic Data and their Generators. ENASE (2016)
Paul A. Bailes, Colin J. M. Kemp
Software Engineering Foundations of Zoetic Data and Totally Functional Programming. ENASE (Selected Papers) (2016)
Paul A. Bailes, Leighton Brough, Colin J. M. Kemp
From Computer Science to Software Engineering - A Programming-level Perspective. SoMeT (2014)
Paul A. Bailes, Colin J. M. Kemp
Fusing Folds and Data Structures into Zoetic Data. IASTED Conf. on Software Engineering (2005)
Paul A. Bailes, Colin J. M. Kemp
Obstacles to a Totally Functional Programming Style. Australian Software Engineering Conference (2004)
Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried
Why Functional Programming Really Matters. Applied Informatics (2003)
Paul A. Bailes, Colin J. M. Kemp
Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. COMPSAC (2003)
Paul A. Bailes, Colin J. M. Kemp
Formal Methods within a Totally Functional Approach to Programming. 10th Anniversary Colloquium of UNU/IIST (2002)