hmilogo

Maarten Fokkinga

Publications (37) as Author:down editorEditor

 

2001

Reports

M.M. Fokkinga and J. Kuper An alternative approach to I/O, Technical Report, TR-CTIT-01-44, Enschede, Centre for Telematics and Information Technology University of Twente, Pages: 12, 2001 [ BiBTeX Eprints  Download PDF document  Download PDF document

 

1996

Journal Papers

M.M. Fokkinga Datatype Laws Without Signatures, Mathematical Structures in Computer Science, 6(1):1-32, ISSN 0960-1295, 1996 *** ISI Impact 0.690 *** [ BiBTeX Eprints  Download PDF document
M.M. Fokkinga Expressions that talk about themselves, The Computer Journal, 39(5):408-412, ISSN 0010-4620, 1996 *** ISI Impact 0.785 *** [ BiBTeX Eprints  [Official URL]  Download PDF document

 

1994

Reports

M.M. Fokkinga Abstracte Datatypen en Categorie-Theorie, Memoranda Informatica, 94-32, Enschede, The Netherlands, Department of Computer Science, University of Twente, Pages: 23, 1994 [ BiBTeX Eprints  Download PDF document
M.M. Fokkinga and L.G.L.T. Meertens Adjunctions, Memoranda Informatica, 94-31, Enschede, The Netherlands, Department of Computer Science, University of Twente, Pages: 33, 1994 [ BiBTeX Eprints  Download PDF document
M.M. Fokkinga Dyads, a generalisation of monads, Memoranda Informatica, 94-30, Enschede, The Netherlands, Department of Computer Science, University of Twente, Pages: 8, 1994 [ BiBTeX Eprints  Download PDF document
M.M. Fokkinga Monadic Maps and Folds for Arbitrary Datatypes, Memoranda Informatica, 94-28, Enschede, The Netherlands, Department of Computer Science, University of Twente, Pages: 23, 1994 [ BiBTeX Eprints  Download PDF document

 

1993

Contributions to Proceedings

M.M. Fokkinga, M. Poel and J. Zwiers Modular Completeness for Communication Closed Layers, in Proceedings of the 4th International Conference on Concurrency Theory (CONCUR 1993), E. Best (eds), Lecture Notes in Computer Science, volume 715, Springer Verlag, Berlin, ISBN 3-540-57208-2, pp. 50-65, 1993 [ BiBTeX Eprints  DOI>  Download PDF document

 

1992

Dissertations

M.M. Fokkinga Law and Order in Algorithmics, PhD Thesis, University of Twente, February 13 1992, University of Twente, Enschede, ISBN 90-9004816-2, Pages: 160, Promotors: L.G.L.T. Meertens and L.A.M. Verbeek, 1992 [ BiBTeX Eprints  Download PDF document

 

Journal Papers

M.M. Fokkinga Calculate categorically!, Formal Aspects of Computing, 4(6A):673-692, ISSN 0934-5043, 1992 *** ISI Impact 0.463 *** [ BiBTeX Eprints  [Official URL]  Download PDF document

 

Contributions to Proceedings

M.M. Fokkinga A Gentle Introduction to Category Theory - the calculational approach, in Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics, M.M. Fokkinga and J.T. Jeuring (eds), volume Part I, University of Utrecht, Utrecht, Netherlands, ISSN not assigned, pp. 1-72, 1992 [ BiBTeX Eprints  Download PDF document

 

1991

Journal Papers

H. Balsters and M.M. Fokkinga Subtyping has a Simple Semantics, Theoretical computer science, 87:81-96, ISSN 0304-3975, 1991 *** ISI Impact 0.665 *** [ BiBTeX Eprints  Download PDF document
M.M. Fokkinga An exercise in transformational programming: Backtracking and Branch-and-Bound, Science of Computer Programming, 16(1):19-48, ISSN 0167-6423, 1991 *** ISI Impact 0.622 *** [ BiBTeX Eprints  DOI>  Download PDF document

 

Contributions to Proceedings

E. Meijer, M.M. Fokkinga and R. Paterson Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, in Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA 1991), R.J.M. Hughes (eds), Lecture Notes in Computer Science, volume 523, Springer Verlag, Berlin, ISBN 3-540-54396-1, ISSN 0302-9743, pp. 124-144, 1991 [ BiBTeX Eprints  DOI>  Download PDF document

 

Misc

M.M. Fokkinga and E. Meijer Program Calculation Properties of Continuous Algebras, extreport, 1991 [ BiBTeX Eprints  Download PDF document

 

1987

Journal Papers

M.M. Fokkinga A correctness proof of sorting by means of formal procedures, Science of Computer Programming, 9(3):263-269, ISSN 0167-6423, 1987 *** ISI Impact 0.622 *** [ BiBTeX Eprints  DOI>  Download PDF document

 

Book Chapters

M.M. Fokkinga Programming Language Concepts - The Lambda Calculus Approach, pp. 129-162. In Essays on concepts, formalisms, and tools, P.R.J. Asveld and A. Nijholt (eds), CWI, Amsterdam, The Netherlands, ISBN 90 6196 326 5, 1987 [ BiBTeX Eprints  Download HTML document  Download PDF document
M.M. Fokkinga Transformatie van Specificatie tot Implementatie, pp. 53-86. In Colloquium Software Specificatie Technieken, J.A.A.M. Poirters and G.J. Schoenmaker (eds), Academic Service, Schoonhoven, The Netherlands, ISBN 90-6233-269-2, 1987 [ BiBTeX Eprints 

 

Contributions to Proceedings

M.M. Fokkinga Backtracking and Branch-and-Bound Functionally Expressed, in Computing Science in the Netherlands (CSN 1987), SION, ISSN 1388-5987, pp. 207-224, 1987 [ BiBTeX Eprints 

 

Reports

M.M. Fokkinga An Elementary Semantics for Cardelli's System of Multiple Inheritance, Memoranda Informatica, 87-33, Enschede, The Netherlands, Department of Computer Science, University of Twente, 1987 [ BiBTeX Eprints 

 

1986

Contributions to Proceedings

M.M. Fokkinga and P.G. Jansen Another variant of the Schorr-Waite algorithm and its correctnessproof - an exercise in formulation, in NGI-SION 1986 Symposium Stimulerende Informatica, Stichting Informatica Congressen, ISBN 90-5005-007-7, pp. 445-455, 1986 [ BiBTeX Eprints 

 

Reports

M.M. Fokkinga Backtracking and Branch-and-Bound functionally expressed, Memoranda Informatica, 86-18, Enschede, The Netherlands, Department of Computer Science, University of Twente, 1986 [ BiBTeX Eprints 

 

1985

Journal Papers

M.M. Fokkinga Functioneel programmeren in een vogelvlucht, Informatie, 27(10):862-873, ISSN 0019-9907, 1985 [ BiBTeX Eprints 

 

Contributions to Proceedings

M.M. Fokkinga Exception Handling Constructs Considered Unnecessary, in Proceedings NGI-SION 1985 Symposium Uitdaging aan de Informatica, Nederlands genootschap voor informatica, Bussum, The Netherlands, ISBN 90-70621-17-7, pp. 406-416, 1985 [ BiBTeX Eprints 

 

1984

Reports

M.M. Fokkinga A notation for the most general form of repetition, Memoranda Informatica, 84-3, Enschede, The Netherlands, Department of Computer Science, University of Twente, 1984 [ BiBTeX Eprints 

 

1983

Reports

M.M. Fokkinga Over het nut en de mogelijkheden van typering, Memoranda Informatica, 83-5, Enschede, The Netherlands, Department of Computer Science, University of Twente, 1983 [ BiBTeX Eprints 

 

1981

Contributions to Proceedings

M.M. Fokkinga On the notion of strong typing, in Algorithmic Languages, J.W. de Bakker and J.C. van Vliet (eds), IFIP TC2, North-Holland, Amsterdam, The Netherlands, ISBN 0-444-86285-4, pp. 305-320, 1981 [ BiBTeX Eprints 

 

1979

Reports

M.M. Fokkinga A Simpler correctness proof of an in-place permutation algorithm, Memorandum, TW-Memo 249, Enschede, Department of Applied Mathematics, University of Twente, 1979 [ BiBTeX Eprints 
M.M. Fokkinga Some self-reproducing Algol-like programs and Kleene's recursion theorem formulated in concrete programming languages, Memorandum, TW-memo 281, Enschede, Department of Applied Mathematics, University of Twente, 1979 [ BiBTeX Eprints 

 

1978

Contributions to Proceedings

M.M. Fokkinga Axiomatization of Declarations and the formal treatment of an Escape Construct, in IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts, E.J. Neuhold (eds), North-Holland, Amsterdam, The Netherlands, ISBN 0-444-85107-0, pp. 221-236, 1978 [ BiBTeX Eprints 

 

1977

Reports

M.M. Fokkinga Exchanging Robustness of a Program for a Relaxation of its Specification, Memorandum, TW-Memo 178, Enschede, Department of Applied Mathematics, University of Twente, 1977 [ BiBTeX Eprints 
M.M. Fokkinga On the use of continuations in Mathematical Semantics, Memorandum, TW-Memo 159, Enschede, Department of Applied Mathematics, University of Twente, 1977 [ BiBTeX Eprints 

 

1976

Reports

C. Bron and M.M. Fokkinga A proposal for dealing with abnormal termination of programs, Memorandum, TW-Memo 150, Enschede, Department of Applied Mathematics, University of Twente, 1976 [ BiBTeX Eprints 

 

1975

Book Chapters

M.M. Fokkinga Recursieve procedures en eenvoudige inductie asserties, pp. 151-165. In Colloquium Programmacorrectheid, J.W. de Bakker (eds), Mathematical Centre, Amsterdam, The Netherlands, ISBN 90-6196-103-3, 1975 [ BiBTeX Eprints 

 

Reports

M.M. Fokkinga Comments on a paper by Milner concerning the semantics of parallelism, Memorandum, TW-Memo 71, Enschede, Department of Applied Mathematics, University of Twente, 1975 [ BiBTeX Eprints 

 

1974

Contributions to Proceedings

M.M. Fokkinga Inductive assertions patterns for recursive procedures, in Proceedings of the Programming Symposium, B. Robinet (eds), Lecture Notes in Computer Science, volume 19, Springer Verlag, Berlin, ISBN 3-540-06859-7, ISSN 0302-9743, pp. 221-233, 1974 [ BiBTeX Eprints  DOI>  Download PDF document

 

1973

Journal Papers

M.M. Fokkinga A self-reproducing Algol 60 program, Algol Bulletin, 35:24-26, ISSN 0084-6198, 1973 [ BiBTeX Eprints  DOI>  Download PDF document
Publications (1) as Editor:up authorAuthor

 

1992

Books

Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics, M.M. Fokkinga and J.T. Jeuring (eds), Vol: Part I. University of Utrecht, Utrecht, Netherlands, 1992 [ BiBTeX ] [Eprints]

old Parlevink website   colophon   [Back] .