MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Mark Lillibridge" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

Exceptions Are Strictly More Powerful Than Call Cc
by Mark Lillibridge — 1995 — HigherOrder and Symbolic Computation
…Exceptions Are Strictly More Powerful Than Call/CC Mark Lillibridge July 1995 CMU–CS–95–178 School…
Cited by 8 (0 self) – Add To MetaCart

Translucent Sums: A Foundation for Higher-Order Module Systems
by Mark Lillibridge — 1997
…Translucent Sums: A Foundation for Higher-Order Module Systems Mark Lillibridge May, 1997 CMU…
Cited by 49 (0 self) – Add To MetaCart

Unchecked Exceptions can be Strictly More Powerful than Call/CC
by Mark Lillibridge, Olivier Danvy — 1996 — Higher-Order and Symbolic Computation
…/CC * MARK LILLIBRIDGE ** mdl@(email omitted); Systems Research Center Compaq Computer Corporation 130 Lytton…
Cited by 4 (0 self) – Add To MetaCart

Operational Interpretations of an Extension of F-omega with Control Operators
by Robert Harper, Mark Lillibridge — 1995 — Journal of Functional Programming
… Operational Interpretations of an Extension of Fω with Control Operators† Robert Harper‡ and Mark Lillibridge…
Cited by 1 (1 self) – Add To MetaCart

Translucent Sums: AFoundation for Higher-Order Module Systems
by Mark Lillibridge, John Reynolds — 1997
…Translucent Sums: AFoundation for Higher-Order Module Systems Mark Lillibridge May, 1997 CMU{CS{97…
Cited by 3 (0 self) – Add To MetaCart

Polymorphic type assignment and CPS conversion
by Robert Harper, Mark Lillibridge — 1993 — LISP and Symbolic Computation
…, San Francisco, June 1992) Robert Harper Mark Lillibridge y Carnegie Mellon University Pittsburgh, PA…
Cited by 35 (10 self) – Add To MetaCart

Atype-theoretic approach to higher-order modules with sharing
by Robert Harper, Mark Lillibridge — 1994 — In Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL
…AType-Theoretic Approach to Higher-Order Modules with Sharing Robert Harper Mark Lillibridge…
Cited by 3 (0 self) – Add To MetaCart

Explicit Polymorphism and CPS Conversion
by Robert Harper , Mark Lillibridge — 1992 — IN TWENTIETH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
…Explicit Polymorphism and CPS Conversion Robert Harper Mark Lillibridge October, 1992 CMU--CS--92…
Cited by 67 (13 self) – Add To MetaCart

A Type-Theoretic Approach to Higher-Order Modules with Sharing
by Robert Harper, Mark Lillibridge — 1994
… Harpert Mark Lillibridge$ School of Computer Science Carnegie Mellon University Pittsbwgh, PA 15213…
Cited by 230 (26 self) – Add To MetaCart

Exceptions Are Strictly More Powerful Than Call/CC
by Mark Lillibridge July, Mark Lillibridge — 1995 — HigherOrder and Symbolic Computation
…Exceptions Are Strictly More Powerful Than Call/CC Mark Lillibridge July 1995 CMU--CS--95…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB