Maarten M. Fokkinga

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The Hough transform Journal of Functional Programming	2011-07-25	Paper
scientific article; zbMATH DE number 1886073 (Why is no real title available?)	2003-03-19	Paper
The associativity of equivalence and the Towers of Hanoi problem Information Processing Letters	2002-07-25	Paper
scientific article; zbMATH DE number 1304375 (Why is no real title available?)	1999-06-17	Paper
Datatype laws without signatures Mathematical Structures in Computer Science	1996-06-16	Paper
Calculate categorically! Formal Aspects of Computing	1993-02-04	Paper
Subtyping can have a simple semantics Theoretical Computer Science	1992-06-26	Paper
An exercise in transformational programming: Backtracking and Branch-and- Bound Science of Computer Programming	1991-01-01	Paper
A correctness proof of sorting by means of formal procedures Science of Computer Programming	1987-01-01	Paper
scientific article; zbMATH DE number 4024773 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3581590 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3485183 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: Maarten M. Fokkinga