MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named John Launchbury – sorted by Relevance.

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

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

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

ATOM

Lazy Imperative Programming
by John Launchbury — 1993 — Yale University
…Lazy Imperative Programming John Launchbury Computing Science Department Glasgow University jl…
Cited by 29 (6 self) – Add To MetaCart

Projections for Polymorphic First-Order Strictness Analysis
by John Hughes, John Launchbury — 1991 — Math. Struct. in Comp. Science
…-Order Strictness Analysis: John Hughes and John Launchbury Department of Computing Science University of Glasgow…
Cited by 6 (1 self) – Add To MetaCart

Parametricity and Unboxing with Unpointed Types
by John Launchbury, Ross Paterson — 1996
…Parametricity and Unboxing with Unpointed Types John Launchbury 1 and Ross Paterson 2 1 Oregon…
Cited by 13 (2 self) – Add To MetaCart

A Recursive do for Haskell
by Levent Erkök, John Launchbury — 2002
…-58113-605-6/02/0010 ...$5.00 A Recursive do for Haskell Levent Erkök John Launchbury OGI School of Science and Engineering…
Cited by 8 (1 self) – Add To MetaCart

Representing Demand by Partial Projections
by John Launchbury, Gebreselassie Baraki — 1993 — J. of Functional Programming
… Representing Demand by Partial Projections John Launchbury and Gebreselassie Baraki Oregon Graduate Institute…
Cited by 2 (0 self) – Add To MetaCart

Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
by Patricia Johann, John Launchbury — 1997
… Languages Patricia Johann John Launchbury Pacific Software Research Center October 29, 1997 Abstract…
Cited by 1 (1 self) – Add To MetaCart

Lazy Depth-First Search and Linear Graph Algorithms in Haskell
by David King, John Launchbury — 1994 — Glasgow Workshop on Functional Programming
…Lazy Depth-First Search and Linear Graph Algorithms in Haskell David J. King John Launchbury…
Cited by 6 (0 self) – Add To MetaCart

Recursive monadic bindings: Technical development and details
by Levent Erkök, John Launchbury — 2000
…Recursive Monadic Bindings: Technical Development and Details ∗ Levent Erkök John Launchbury…
Cited by 1 (0 self) – Add To MetaCart

Disposable Memo Functions
by Byron Cook, John Launchbury — 1997 — In Proceedings of the 1997 Haskell Workshop
…Disposable Memo Functions y Byron Cook byron@(email omitted); John Launchbury jl…
Cited by 8 (0 self) – Add To MetaCart

Warm Fusion: Deriving Build-Catas from Recursive Definitions
by John Launchbury, Tim Sheard — 1995 — In Conf. on Func. Prog. Languages and Computer Architecture
…Warm Fusion: Deriving Build-Catas from Recursive Definitions John Launchbury & Tim Sheard Oregon…
Cited by 69 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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