( en | de | ru )

 

Disambiguation of "Fokkinga, Maarten"

Author of the publication

copydeleteadd this publication to your clipboard
Functional programming with bananas, lenses, envelopes and barbed wire

, , and . Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)
DOI: 10.1007/3540543961\_7

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maarten Boersma

Maarten Schroen

Maarten Löffler

Maarten Bynens

Maarten Thomas

 

Other publications of authors with the same name

Ranking Query Results using Context-Aware Preferences., , , and . ICDE Workshops, page 269-276. IEEE Computer Society, (2007)The Hough transform.. J. Funct. Program., 21 (2): 129-133 (2011)A Correctness Proof of Sorting by Means of Formal Procedures.. Sci. Comput. Program., 9 (3): 263-269 (1987)Datatype Laws without Signatures.. Math. Struct. Comput. Sci., 6 (1): 1-32 (1996)Comparing Refinements for Failure and Bisimulation Semantics., and . Fundam. Informaticae, 52 (4): 297-321 (2002)Calculate Categorically!. Formal Asp. Comput., 4 (6A): 673-692 (1992)Law and order in algorithmics.. Univ. Twente, (1992)Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire., , and . FPCA, volume 523 of Lecture Notes in Computer Science, page 124-144. Springer, (1991)Subtyping Can Have a Simple Semantics., and . Theor. Comput. Sci., 87 (1): 81-96 (1991)Protocol Assuring Universal Language., and . FMOODS, volume 139 of IFIP Conference Proceedings, page 241-258. Kluwer, (1999)