Robert Pollack (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2 Robert Harper, Robert Pollack: Type Checking with Universes. Theor. Comput. Sci. 89(1): 107-136 (1991)

1 Robert Harper, Robert Pollack: Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). TAPSOFT, Vol.2 1989: 241-256

Selection of 2 from 11 records - Robert Pollack has 8 coauthors

2		Robert Harper, Robert Pollack: Type Checking with Universes. Theor. Comput. Sci. 89(1): 107-136 (1991)
1		Robert Harper, Robert Pollack: Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). TAPSOFT, Vol.2 1989: 241-256