Functional Programming

Functional Programming (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Editor Philip Wadler , Brian Mcnamara , Yannis Smaragdakis

Venue:	SIGPLAN Notices
Citations:	1225 - 37 self

BibTeX

@ARTICLE{Wadler01functionalprogramming,
    author = {Editor Philip Wadler and Brian Mcnamara and Yannis Smaragdakis},
    title = {Functional Programming},
    journal = {SIGPLAN Notices},
    year = {2001},
    volume = {36}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

this article will probably not motivate you to abandon them in favor of C++. Nevertheless, FC++ is thought-provoking both for functional programmers and for object-oriented programmers. It shows how polymorphic, higher-order functions can be expressed in C++ and provides a good platform for combining the functional and object-oriented paradigms. We invite you to take a tour of FC++ and catch a glimpse of the possibilities. 1 What is FC++?

Citations

4647	Design patterns: elements of reusable object-oriented software - Gamma, Helm, et al. - 1995
1497	The Definition of Standard ML - Milner, Tofte, et al. - 1990
815	Categories for the Working Mathematician - Lane - 1971
418	Comprehending monads - Wadler - 1990
401	Computational lambda-calculus and monads - Moggi - 1989
379	Introduction to higher order categorical logic - Lambek, Scott - 1986
352	ML for the Working Programmer - Paulson - 1996
297	Pizza into java: Translating theory into practice - Odersky, Wadler - 1997
263	Definitional interpreters for higher-order programming languages - Reynolds - 1972
219	Call-by-name, call-by-value, and the -calculus - Plotkin - 1975
155	The essence of Algol - Reynolds - 1981
115	Abstract interpretation of declarative languages - Abramsky, Hankin - 1987
107	Continuation-passing, closure-passing style - Appel, Jim - 1989
107	Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
105	Design of the programming language Forsythe - Reynolds - 1996
95	An overview of Miranda - Turner - 1986
88	Typing first-class continuations in ML - Harper, Duba, et al. - 1993
83	How to replace failure by a list of successes - Wadler - 1985
79	Abstracting control - Danvy, Filinski - 1990
72	Integrating functional and imperative programming - Gifford, Lucassen - 1986
71	Single-threaded polymorphic lambda calculus - Guzman, Hudak - 1990
61	editors, Report on the programming language Haskell, a non-strict purely-functional programming language, Version 1.2. Sigplan Notices 27(5 - Hudak, Jones, et al. - 1992
56	Detecting global variables in denotational specifications - Schmidt - 1985
50	Using Category Theory to Design Implicit Conversions and Generic Operators, Semantics-Directed Compiler Generation - Reynolds - 1980
50	The essence of functional programming (invited talk - Wadler - 1992
39	A functional theory of exceptions - Spivey - 1990
37	Assignments for applicative languages - Swarup, Reddy, et al. - 1991
36	Lambda: The ultimate imperative - Steele, Sussman - 1976
31	Update analysis and the efficient implementation of functional aggregates - Bloss - 1989
29	Functional programming in C - McNamara, Smaragdakis
27	A framework for Higher-Order functions in C - Laufer - 1995
25	A semantic model of reference counting and its abstraction (detailed summary - Hudak - 1986
24	The coherence of languages with intersection types - Reynolds - 1991
16	Mutable abstract datatypes -or- How to have your state and munge it too - Hudak - 1992
15	Syntactic control of interference, Part II - Reynolds - 1989
8	FACT!—The Functional Side of C++”, http://www.fz-juelich.de/zam/FACT - Striegnitz
7	a continuation extension for - Perry, HopeC - 1987
3	An abstract view of programming languges. Course notes - Moggi
1	Bridging Functional and Object-Oriented Programming” Georgia Tech CoC - Smaragdakis, McNamara
1	A type checker. Chapter 9 of Simon Peyton Jones, The Implementation of Functional Programming Languages - Hancock - 1987
1	there a use for linear logic - Is - 1991