Skip to content

International Conference on Functional Programming

ICFP

A

CORE rank

CORE rank (raw)

A

Fields of research

Software Engineering

Papers indexed

1,010

1996–2023

Papers per year

199679 peak2023

ICFP papers

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

YearTitleAuthors
1997Disposable Memo Functions (Extended Abstract).Byron Cook, John Launchbury
1997Structuring Graphical Paradigms in TkGofer.Koen Claessen, Ton Vullinghs, Erik Meijer
1997Graphs in Compilation.Koen Claessen
1997A Bounds Inference Method for Vector-Based Memoisation.Wei-Ngan Chin, Masami Hagiya
1997Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.Matthias Blume, Andrew W. Appel
1997Type-Driven Defunctionalization.Jeffrey M. Bell, Franoise Bellegarde, James Hook
1997A Modular, Polyvariant, and Type-Based Closure Analysis.Anindya Banerjee
1997The Effectiveness of Flow Analysis for Inlining.J. Michael Ashley
1997The Development of Erlang.Joe L. Armstrong
1997A GUI on Top of a Functional Language.Kris Aerts, Karel De Vlaminck
1996Static and Dynamic Partitioning of Pointers as Links and Threads.David S. Wise, Joshua Walgenbach
1996First-Class Synchronization Barriers.Franklyn A. Turbak
1996Cogen in Six Lines.Peter Thiemann
1996Storage Use Analysis and its Applications.Manuel Serrano, Marc Feeley
1996A Reflection on Call-by-Value.Amr Sabry, Philip Wadler
1996Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited.Niklas Rjemo, Colin Runciman
1996Sharing Code through First-class Environments.Christian Queinnec, David De Roure
1996Simplifying Subtyping Constraints.Franois Pottier
1996The Role of Lazy Evaluation in Amortized Data Structures.Chris Okasaki
1996The Semantics of Scheme with Future.Luc Moreau
1996Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.Shinn-Der Lee, Daniel P. Friedman
1996Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?Julia L. Lawall, Harry G. Mairson
1996Let-floating: Moving Bindings to Give Faster Programs.Simon L. Peyton Jones, Will Partain, Andr L. M. Santos
1996Deriving Structural Hylomorphisms From Recursive Definitions.Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1996Inductive, Coinductive, and Pointed Types.Brian T. Howard
9761,000 of 1,010← PreviousNext →

Comparable venues

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