dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Stefan Holdermans Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Holdermans, Jurriaan Hage: Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. ICFP 2010: 63-74
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Holdermans, Jurriaan Hage: On the rôle of minimal typing derivations in type-driven program transformation. LDTA 2010: 2
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasper Brink, Stefan Holdermans, Andres Löh: Dependently Typed Grammars. MPC 2010: 58-79
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Holdermans, Jurriaan Hage: Making "stricterness" more relevant. PEPM 2010: 121-130
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh: Optimizing generics is easy! PEPM 2010: 33-42
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Holdermans, Jurriaan Hage: Making "stricterness" more relevant. Higher-Order and Symbolic Computation 23(3): 315-335 (2010)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães: A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010)
2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring: Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie: Report on the tenth ICFP programming contest. ICFP 2008: 397-408
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren: A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan Hage, Stefan Holdermans: Heap recycling for lazy languages. PEPM 2008: 189-197
2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan Hage, Stefan Holdermans, Arie Middelkoop: A generic usage analysis with subeffect qualifiers. ICFP 2007: 235-246
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez: Generic Views on Data Types. MPC 2006: 209-234

Coauthor Index

1Kasper Brink [11]
2Eelco Dolstra [5]
3Jurriaan Hage [2] [3] [5] [8] [10] [12] [13]
4Bastiaan Heeren [4] [5] [7]
5Johan Jeuring [1] [4] [5] [6] [7] [9]
6Andres Löh [1] [5] [6] [9] [11]
7Clara Löh [5]
8José Pedro Magalhães [7] [9]
9Arie Middelkoop [2] [5]
10Thomas van Noort [4] [7]
11John van Schie [5]
12Alexey Rodriguez Yakushev (Alexey Rodriguez) [1] [4] [5] [6] [7]

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page