International Conference on Functional Programming

ICFP

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

1,010

1996–2023

Best Software Engineering conferences

Papers per year

199679 peak2023

Most published authors

ICFP papers

1,010 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2002	Type classes with more higher-order polymorphism.	Matthias Neubauer, Peter Thiemann
2002	Meta-programming with names and necessity.	Aleksandar Nanevski
2002	Towards more natural functional programming languages.	Brad A. Myers
2002	Functional formal methods.	J Strother Moore
2002	Modular typechecking for hierarchically extensible datatypes and functions.	Todd D. Millstein, Colin Bleckner, Craig Chambers
2002	Composing monads using coproducts.	Christoph Lth, Neil Ghani
2002	Program generation, termination, and binding-time analysis.	Neil D. Jones, Arne J. Glenstrup
2002	Bootstrapping one-sided flexible arrays.	Ralf Hinze
2002	An experimental study of renewal-older-first garbage collection.	Lars Thomas Hansen, William D. Clinger
2002	Interactive visual functional programming.	Keith Hanna
2002	A compiled implementation of strong reduction.	Benjamin Grgoire, Xavier Leroy
2002	Exception analysis for non-strict languages.	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Sndergaard
2002	Final shift for call/cc: : direct implementation of shift and reset.	Martin Gasbichler, Michael Sperber
2002	Packrat parsing: : simple, powerful, lazy, linear time, functional pearl.	Bryan Ford
2002	Composable and compilable macros: : you want it when?	Matthew Flatt
2002	Contracts for higher-order functions.	Robert Bruce Findler, Matthias Felleisen
2002	A demand-driven adaptive type analysis.	Danny Dub, Marc Feeley
2002	There and back again.	Olivier Danvy, Mayer Goldberg
2002	An expressive, scalable type theory for certified code.	Karl Crary, Joseph Vanderwaart
2002	Monads for incremental computing.	Magnus Carlsson
2002	Typing dynamic typing.	Arthur I. Baars, S. Doaitse Swierstra
2001	Extensible Algebraic Datatypes with Defaults.	Matthias Zenger, Martin Odersky
2001	A Dependently Typed Assembly Language.	Hongwei Xi, Robert Harper
2001	Real-Time FRP.	Zhanyong Wan, Walid Taha, Paul Hudak
2001	On Regions and Linear Types.	David Walker, Kevin Watkins

801–825 of 1,010← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.