Searching for authors named "John Lamping" – sorted by Relevance.
37 documents found, showing 1 through 10.
Next 10 →
-
Methods as Assertions
- …Methods as Assertions John Lamping 1 , Mart'in Abadi 2 1 Xerox PARC 3333 Coyote Hill Road…
- Cited by 11 (1 self) – Add To MetaCart
-
Typing the specialization interface
- …Typing the Specialization Interface John Lamping Published in Proceedings of the ACM Conference…
- Cited by 55 (0 self) – Add To MetaCart
-
An algorithm for optimal lambda calculus reduction
- …An Algorithm for Optimal Lambda Calculus Reduction John Lamping Published in Seventeenth ACM…
- Cited by 107 (0 self) – Add To MetaCart
-
Laying out and Visualizing Large Using a Hyperbolic Space
- … permission. @ 1994 ACM 0-89791-657-3/%/001 1....$3.50 John Lamping and Ramana Rao Xerox Palo Alto Research…
- Add To MetaCart
-
Laying out and Visualizing Large Trees Using a Hyperbolic Space
- …Laying Out and Visualizing Large Trees Using a Hyperbolic Space John Lamping and Ramana Rao…
- Cited by 74 (0 self) – Add To MetaCart
-
Efficient Linear Logic Meaning Assembly
- …- trative sentence "every gray cat left". It has flHlctional structure 464 John Lamping Xerox PARC 3333…
- Cited by 32 (1 self) – Add To MetaCart
-
Operating Systems: Why Object-Oriented?
- …Operating Systems: Why Object-Oriented? Gregor Kiczales and John Lamping Published in Luis…
- Cited by 22 (0 self) – Add To MetaCart
-
Intensional verbs without type-raising or lexical ambiguity
- … Introduction Mary Dalrymple ∗ John Lamping ∗ Fernando Pereira † Vijay Saraswat ∗ February 5, 2008 We present…
- Cited by 3 (1 self) – Add To MetaCart
-
Compilation Strategies as Objects
- … as Objects Anurag Mendhekar Indiana Universiy Gregor Kiczales, John Lamping Xerox PARC c fl1994 Xerox…
- Cited by 1 (1 self) – Add To MetaCart
-
Relating Resource-Based Semantics to Categorial Semantics
- … John Lamping y Vijay Saraswat z July 16, 1997 1 Introduction We provide a new formulation…
- Cited by 13 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
