default search action

combined dblp search
author search
venue search
publication search

ask others

61. Birthday: Rinus Plasmeijer 2013

> Home > Conferences and Workshops > Birthday

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2013plasmeijer
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2013plasmeijer
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
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MolE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MolE13
Maarten de Mol, Marko C. J. D. van Eekelen:
Beautiful Code, Beautiful Proof? 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Brus13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Brus13
Tom Brus:
Beauty and Code. 8-17
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/PolonskyB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PolonskyB13
Andrew Polonsky, Henk Barendregt:
An Ontology of States. 18-26
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BakelR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BakelR13
Steffen van Bakel, Reuben N. S. Rowe:
Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. 27-46
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SmetsersB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SmetsersB13
Sjaak Smetsers, Erik Barendsen:
Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. 47-59
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Koopman13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Koopman13
Pieter W. M. Koopman:
Functional Semantics. 60-78
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Achten13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Achten13
Peter Achten:
Why Functional Programming Matters to Me. 79-96
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EndrullisHKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EndrullisHKP13
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky:
Clocks for Functional Programs. 97-126
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Serrarens13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Serrarens13
Pascal R. Serrarens:
Declarative Natural Language Specifications. 127-132
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DomoszlaiK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DomoszlaiK13
László Domoszlai, Tamás Kozsik:
Clean Up the Web! - Rapid Client-Side Web Development with Clean. 133-150
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HinzeMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HinzeMW13
Ralf Hinze, José Pedro Magalhães, Nicolas Wu:
A Duality of Sorts. 151-167
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Jansen13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Jansen13
Jan Martin Jansen:
Programming in the λ-Calculus: From Church to Scott and Back. 168-180
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Vries13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Vries13
Edsko de Vries:
Modelling Unique and Affine Typing Using Polymorphism. 181-192
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Lijnse13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Lijnse13
Bas Lijnse:
Evolution of a Parallel Task Combinator. 193-210
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AalstWR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AalstWR13
Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers:
Beautiful Workflows: A Matter of Taste? 211-233
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SwierstraD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SwierstraD13
S. Doaitse Swierstra, Atze Dijkstra:
Parse Your Options. 234-249
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Michels13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Michels13
Steffen Michels:
The Beauty of Declarative Purely Functional Projections. 250-257
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Jeuring13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Jeuring13
Johan Jeuring:
Finding Palindromes: Variants and Algorithms. 258-272
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Morazan13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Morazan13
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.