- Type inference with simple subtypes John C. Mitchell Wed 17 July 2013
- Type inference with subtypes You-Chin Fuh Prateek Mishra Wed 17 July 2013
- Coercion and type inference John C. Mitchell Wed 17 July 2013
- Three approaches to type structure J C Reynolds Wed 17 July 2013
- On understanding types, data abstraction, and polymorphism Luca Cardelli Peter Wegner Wed 17 July 2013
- The complexity of set constraints Alexander Aiken Dexter Kozen Moshe Vardi Ed Wimmers Wed 17 July 2013
- Efficient inference of partial types Dexter Kozen Jens Palsberg Michael I. Schwartzbach Wed 17 July 2013
- Type Inference with Partial Types Satish Thatte Wed 17 July 2013
- Declaration-free type checking Prateek Mishra Uday S. Reddy Wed 17 July 2013
- Subtyping with union types, intersection types and recursive types Flemming M. Damm Wed 17 July 2013
- Soft typing with conditional types Alexander Aiken Edward L. Wimmers T. K. Lakshman Wed 17 July 2013
- Exploiting reachability and cardinality in higher-order flow analysis Matthew Might Olin Shivers Wed 17 July 2013
- An Abstraction Refinement Approach to Higher-Order Model Checking Steven James Ramsay Robin P. Neatherway Chih-Hao Luke Ong Tue 16 July 2013
- Synchronization of Pushdown Automata Didier Caucal Tue 16 July 2013
- Sets accepted by one-way stack automata are context sensitive J.E. Hopcroft J.D. Ullman Tue 16 July 2013
- One-way stack automata Seymour Ginsburg Sheila A. Greibach Michael A. Harrison Tue 16 July 2013
- Automata for XML---A survey Thomas Schwentick Mon 15 July 2013
- Logics for unranked trees: an overview Leonid Libkin Mon 15 July 2013
- Automata, Logic, and XML Frank Neven Mon 15 July 2013
- First-Order Logic on Higher-Order Nested Pushdown Trees Alexander Kartzow Mon 15 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
