DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Harry Mairson
Harry Mairson
An E Cient and General Implementation of Futures on Large
The Complexity of Flow Analysis in Higher-Order Languages
Fundamentals of Type Inference Systems
On the Resolution Semiring
Metatheorems About Convertibility in Typed Lambda Calculi
Chih-Hao Luke ONG Contents
ICFP 2008 Final Program
Database Query Languages Embedded in the Typed Lambda Calculus
First-Class Continuations Basic Research in Computer Science
Efficient Inference of Object Types
Notes on the History of Type Inference
Bottom-Up Beta-Reduction
Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Β-Reduction∗
ML with PTIME Complexity Guarantees∗
Generation of Uniformly-Random Graphs
Deciding $ K $ CFA Is Complete for EXPTIME
Structure and Interpretation of Computer Programs
Semantics of Programming Languages
Top View
Cosci-Eas (121-127)
Principles of Type Refinement