Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bailes, Paul - School of Information Technology and Electrical Engineering, University of Queensland
Programming in Martin-Lof's Type Theory
Programming Without Data -Towards a Totally Functional Programming Style Paul A. Bailes
PROCEEDINGS OF THE RESEARCH AND
Generic Programming { An Introduction {
DRAFT OF 3.11.03 1 Fusing Folds and Data Structures into Animated Data
APSEC is the leading international conference in software engineering and technology in the Asia-Pacific region. This year's conference is being
E1 PROJECT TITLE "Development of a Dataless, Totally Functional Programming Style"
Pizza into Java: Translating theory into practice
SAINT PHILOMENA SCHOOL An independent Catholic primary school
Formal Methods within a Totally Functional Approach to Programming
Version of February 28, 2003 INTEGRATING RUNTIME ASSERTIONS WITH DYNAMIC TYPES: STRUC-
Hosting Object-Oriented Programming in Totally Functional Programming with "Characteristic Methods"
Obstacles to a Totally Functional Programming Style Paul Bailes, Colin Kemp
Approaching "Totally Functional Programming" through Rigorous Application of the Reuse Principle
WHY FUNCTIONAL PROGRAMMING REALLY MATTERS Paul A. Bailes
Formal Methods within a Totally Functional Approach to Programming
Obstacles to a Totally Functional Programming Style Paul Bailes, Colin Kemp
Making Sense of Recursion Patterns Paul Bailes, Leighton Brough
FUSING FOLDS AND DATA STRUCTURES INTO ZOETIC DATA Paul A. Bailes, Colin J. M. Kemp
