Colin J. M. Kemp

According to our database, Colin J. M. Kemp authored at least 9 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Software Engineering Foundations of Zoetic Data and Totally Functional Programming.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Zoetic Data and their Generators.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the ENASE 2016, 2016

2014

From Computer Science to Software Engineering - A Programming-level Perspective.

Paul A. Bailes, Leighton Brough, Colin J. M. Kemp

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014

2007

Theoretical Foundations for Practical 'Totally Functional Programming'

Colin J. M. Kemp

PhD thesis, 2007

2005

Fusing Folds and Data Structures into Zoetic Data.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the IASTED International Conference on Software Engineering, 2005

2004

Obstacles to a Totally Functional Programming Style.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Why Functional Programming Really Matters.

Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Formal Methods within a Totally Functional Approach to Programming.

Paul A. Bailes, Colin J. M. Kemp

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002