HMI/Human Media Interaction: Publications 661

Publications (37) as Author:	Editor

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 ]

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 ]

M.M. Fokkinga Expressions that talk about themselves, The Computer Journal, 39(5):408-412, ISSN 0010-4620, 1996 *** ISI Impact 0.785 *** [ BiBTeX ]

[Official URL]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

Journal Papers

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

[Official URL]

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 ]

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 ]

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 ]

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 ]

Misc

M.M. Fokkinga and E. Meijer Program Calculation Properties of Continuous Algebras, extreport, 1991 [ BiBTeX ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

Journal Papers

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

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

Journal Papers

M.M. Fokkinga A self-reproducing Algol 60 program, Algol Bulletin, 35:24-26, ISSN 0084-6198, 1973 [ BiBTeX ]

Publications (1) as Editor:	Author

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 ] [

]

old Parlevink website colophon [Back] .