default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID61. Birthday: Rinus Plasmeijer 2013
- Peter Achten, Pieter W. M. Koopman:
The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Lecture Notes in Computer Science 8106, Springer 2013, ISBN 978-3-642-40354-5 - Maarten de Mol, Marko C. J. D. van Eekelen:
Beautiful Code, Beautiful Proof? 1-7 - Tom Brus
:
Beauty and Code. 8-17 - Andrew Polonsky, Henk Barendregt:
An Ontology of States. 18-26 - Steffen van Bakel, Reuben N. S. Rowe:
Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. 27-46 - Sjaak Smetsers, Erik Barendsen:
Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. 47-59 - Pieter W. M. Koopman:
Functional Semantics. 60-78 - Peter Achten:
Why Functional Programming Matters to Me. 79-96 - Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky:
Clocks for Functional Programs. 97-126 - Pascal R. Serrarens:
Declarative Natural Language Specifications. 127-132 - László Domoszlai, Tamás Kozsik:
Clean Up the Web! - Rapid Client-Side Web Development with Clean. 133-150 - Ralf Hinze, José Pedro Magalhães, Nicolas Wu:
A Duality of Sorts. 151-167 - Jan Martin Jansen:
Programming in the λ-Calculus: From Church to Scott and Back. 168-180 - Edsko de Vries:
Modelling Unique and Affine Typing Using Polymorphism. 181-192 - Bas Lijnse:
Evolution of a Parallel Task Combinator. 193-210 - Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers:
Beautiful Workflows: A Matter of Taste? 211-233 - S. Doaitse Swierstra, Atze Dijkstra:
Parse Your Options. 234-249 - Steffen Michels:
The Beauty of Declarative Purely Functional Projections. 250-257 - Johan Jeuring:
Finding Palindromes: Variants and Algorithms. 258-272 - Marco T. Morazán:
Beautiful Imperative Code - A Functional Ace in the Hole for Imperative Programmers. 273-284
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
