Searching for authors named "Trevor Jim" – sorted by Relevance.
-
Dynamically Distributed Query Evaluation
- Dynamically Distributed Query Evaluation Trevor Jim AT&T Labs Research 180 Park Avenue Florham
- Cited by 13 (0 self) – Add To MetaCart
-
Defeating Script Injection Attacks with Browser-Enforced Embedded Policies
- Defeating Script Injection Attacks with Browser-Enforced Embedded Policies ABSTRACT Trevor Jim AT
- Cited by 15 (1 self) – Add To MetaCart
-
What Are Principal Typings and What Are They Good For?
- What are principal typings and what are they good for? Technical Memorandum MIT/LCS/TM--532 Trevor
- Cited by 82 (0 self) – Add To MetaCart
-
Rank 2 Type Systems and Recursive Definitions
- Rank 2 type systems and recursive de nitions Technical Memorandum MIT/LCS/TM{531 Trevor Jim
- Cited by 23 (1 self) – Add To MetaCart
-
Continuation-passing, closure-passing style
- - Continuation-Passing, Closure-Passing Style Andrew W. Appel* Trevor Jim† CS-TR-183-88 July 1988
- Cited by 101 (9 self) – Add To MetaCart
-
Type inference in systems of recursive types with subtyping
- Type inference in systems of recursive types with subtyping Trevor Jim Jens Palsberg July 24
- Cited by 13 (3 self) – Add To MetaCart
-
Making Lambda Calculus Smaller, Faster
- @(email omitted); Trevor Jim Massachusetts Inst. of Technology trevor@(email omitted); Princeton CS-TR-477-94 November 1994
- Cited by 2 (0 self) – Add To MetaCart
-
Type Inference with Simple Selftypes is NP-complete
- Purdue University Department of Computer Science West Lafayette, IN 47907 palsberg@(email omitted); Trevor
- Cited by 10 (1 self) – Add To MetaCart
-
Certifying Compilation and Run-time Code Generation
- in the Netherlands. cyclone98.tex; 13/04/1999; 19:25; p.1 2 Luke Hornof and Trevor Jim has yet to be generated
- Cited by 32 (1 self) – Add To MetaCart
-
Combining Garbage Collection and Safe Manual Memory Management
- Dan Grossman Trevor Jim University of Maryland University of Washington AT&T Labs Research mwh
- Add To MetaCart

