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 × The Netherlands
1 × United Kingdom
Collaborated with:

Talks about:
type (2) constructor (1) presenc (1) reduct (1) upper (1) third (1) order (1) match (1) lower (1) bound (1)

Person: Jan Springintveld

DBLP DBLP: Springintveld:Jan

Contributed to:

TLCA 19951995
TLCA 19931993

Wrote 2 papers:

TLCA-1995-Springintveld #higher-order
Third-Order Matching in the Presence of Type Constructors (JS), pp. 428–442.
TLCA-1993-Springintveld #bound #reduction
Lower and Upper Bounds for Reductions of Types in λω and λP (JS), pp. 391–405.

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.