MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Functional Programming Languages and Computer Architecture" – sorted by Relevance.

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

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

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

ATOM

Lambda Lifting: Transforming Programs to Recursive Equations
by Thomas Johnsson — 1985
… algorithm is given. Originally publised in Proceedings 1985 Conference on Functional Programming Languages…
Cited by 145 (5 self) – Add To MetaCart

Bibliography of Yale's Functional Programming Research Group (aka "The Yale Haskell Project")
by R. S. Sundaresh, J. Young, Paul Hudak — 1994
…-order polymorphism. In FPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen…
Add To MetaCart

Fast Abstract Interpretation Using Sequential Algorithms
by Cj C. Clack, S. L. Peyton, Jones Strictness, Analysis---a Practical, Fh A. Ferguson, John Hughes, Abstract Interpretation, Higher-order Functions, Hf J. Hughes, Alex Ferguson, A Loop-detecting, Interpreter Lazy — 1993
… 1985 Conference on Functional Programming Languages and Computer Architecture, pages 35--49, Nancy…
Add To MetaCart

Proc. International Symp. on Math. Foundations of Comp.
by Sci Lncs, Ps A. Pitts, J. C. Van Vliet
… of the programming language Forsythe. Technical Report CMU-CS-88-159, Computer Science, Carnegie Mellon University…
Add To MetaCart

First-class modules for component-based programming: Case for support
by Simon Peyton Jones, Gum A, Sl Peyton Jones, Sl Peyton Jones, J Launchbury, S Liang, P Hudak, Mark Jones, Monad Transformers, M Odersky, K Laufer, Putting Type Annotations — 1996
… citizens," in Functional Programming Languages and Computer Architecture, Boston, Hughes, ed., LNCS 523…
Cited by 3 (0 self) – Add To MetaCart

New Techniques for the Analysis and Implementation of Functional Programs
by Tyng-Ruey Chuang, Robert M. Keller, Chris Hankin, Abstract Interpretation — 1993
… and open sets in abstract interpretation. In Functional Programming Languages and Computer Architecture…
Cited by 1 (1 self) – Add To MetaCart

Elsevier, New York.
by Van Der Hoeven, G. Combinatorgraphs As, Wesley Wokingham England
…. (1985) Serial combinators. In Conference on Functional Programming Languages and Computer Architecture…
Add To MetaCart

A Type-Free Theory of Half-Monotone Inductive Definitions
by Y. Kaneyama, Y. Takayama, S. Allen, R. L. Constable, D. Howe, W. Aitken
… to extract efficient programs from constructive proofs", Proc. Conference on Functional Programming Languages…
Add To MetaCart

Categorial Programming with Functorial Strength
by Dwight L. Spencer — 171
… for free! In 4th International Symposium on Functional Programming Languages and Computer Architecture…
Add To MetaCart

Compiling Functional Languages - Bibliography
by Andrew Tolmach, Peyton Jones, Peyton Jones, C. Elements, Functional Programming — 1996
…. In Jouannaud, J. P., editor, Functional Programming Languages and Computer Architecture, LNCS Vol 201, pages 50…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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