Travelled to:
1 × The Netherlands
1 × United Kingdom
Collaborated with:
∅ J.McKinna R.Harper
Talks about:
type (2) typecheck (1) polymorph (1) construct (1) calculus (1) univers (1) verifi (1) system (1) formal (1) ambigu (1)
Person: Robert Pollack
DBLP: Pollack:Robert
Contributed to:
Wrote 3 papers:
- TLCA-1995-Pollack
- A Verified Typechecker (RP), pp. 365–380.
- TLCA-1993-McKinnaP #type system
- Pure Type Systems Formalized (JM, RP), pp. 289–305.
- CCIPL-1989-HarperP #ambiguity #calculus #morphism #polymorphism #type checking
- Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft) (RH, RP), pp. 241–256.