BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × Germany
1 × Italy
1 × United Kingdom
2 × Spain
2 × USA
Collaborated with:
J.Hage J.Weijers J.Jeuring A.Löh A.Middelkoop J.P.Magalhães A.R.Yakushev E.Dolstra B.Heeren C.Löh A.Rodriguez J.v.Schie
Talks about:
type (5) higher (4) polymorph (3) program (3) languag (3) generic (3) order (3) diagnosi (2) datatyp (2) analysi (2)

Person: Stefan Holdermans

DBLP DBLP: Holdermans:Stefan

Contributed to:

PEPM 20132013
PEPM 20132014
PPDP 20132013
ICFP 20102010
LDTA 20102010
PEPM 20102010
ICFP 20092009
ICFP 20082008
PEPM 20082008
ICFP 20072007

Wrote 11 papers:

PEPM-2013-WeijersHH #fault #higher-order #polymorphism #security
Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 3–12.
PEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security
Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.
PPDP-2013-Holdermans #data type #functional #guidelines #random testing #testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
ICFP-2010-HoldermansH #analysis #higher-order #polymorphism
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators (SH, JH), pp. 63–74.
LDTA-2010-HoldermansH #on the #program transformation #type system
On the rôle of minimal typing derivations in type-driven program transformation (SH, JH), p. 2.
PEPM-2010-HoldermansH #strict
Making “stricterness” more relevant (SH, JH), pp. 121–130.
PEPM-2010-MagalhaesHJL #exclamation #optimisation
Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
ICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
ICFP-2008-DolstraHHHJLLMRS #contest #programming
Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.
PEPM-2008-HageH #lazy evaluation
Heap recycling for lazy languages (JH, SH), pp. 189–197.
ICFP-2007-HageHM #analysis
A generic usage analysis with subeffect qualifiers (JH, SH, AM), pp. 235–246.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.