Searching for authors named "Trevor Jim" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
