Travelled to:1 × Germany
1 × Portugal
1 × USA
Collaborated with:∅ R.C.Backhouse P.Jansson J.Jeuring
Talks about:polymorph (1) introduct (1) increment (1) program (1) polytyp (1) generic (1) calcul (1) check (1) type (1)
Person: Lambert G. L. T. Meertens
DBLP: Meertens:Lambert_G=_L=_T=
Contributed to:
1998
1996
1983Wrote 3 papers:
- AFP-1998-BackhouseJJM98 #programming
- Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.
- PLILP-1996-Meertens #exclamation
- Calculate Polytypically! (LGLTM), pp. 1–16.
- POPL-1983-Meertens #incremental #polymorphism #type checking
- Incremental Polymorphic Type Checking in B (LGLTM), pp. 265–275.