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

Bastiaan Heeren (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan Hage, Bastiaan Heeren: Strategies for Solving Constraints in Type and Effect Systems. Electr. Notes Theor. Comput. Sci. 236: 163-183 (2009)
6Electronic 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 XMLJurriaan Hage, Bastiaan Heeren: Heuristics for Type Error Discovery and Recovery. IFL 2006: 199-216
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastiaan Heeren, Jurriaan Hage: Type Class Directives. PADL 2005: 253-267
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra: Scripting the type inference process. ICFP 2003: 3-13
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra: Scripting the type inference process. SIGPLAN Notices 38(9): 3-13 (2003)

Selection of 6 from 20 records - Bastiaan Heeren has 15 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page