Travelled to:1 × The Netherlands
1 × United Kingdom
3 × USA
Collaborated with:J.Hughes A.Bondorf P.Thiemann R.Heldal E.Bevers K.D.Vlaminck F.Henglein C.Mossin
Talks about:specialis (2) polymorph (2) time (2) constructor (1) polyvari (1) polynomi (1) special (1) program (1) partial (1) languag (1)
Person: Dirk Dussart
DBLP: Dussart:Dirk
Contributed to:
1997
1997
1995
19951994Wrote 5 papers:
- ICFP-1997-DussartHT #imperative
- Type Specialization for Imperative Languages (DD, JH, PT), pp. 204–216.
- PLDI-1997-DussartHH
- Module-Sensitive Program Specialisation (DD, RH, JH), pp. 206–214.
- PEPM-1995-DussartBV
- Polyvariant Constructor Specialisation (DD, EB, KDV), pp. 54–65.
- SAS-1995-DussartHM #analysis #polymorphism #polynomial #recursion #type system
- Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time (DD, FH, CM), pp. 118–135.
- PEPM-1994-BondorfD #partial evaluation
- Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (AB, DD), pp. 1–9.