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
1998Building Program Optimizers with Rewriting Strategies.Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach
1998A Theory of Core Fudgets.Colin J. Taylor
1998Recycling Continuations.Jonathan Sobel, Daniel P. Friedman
1998Implementing Typed Intermediate Languages.Zhong Shao, Christopher League, Stefan Monnier
1998Typed Cross-Module Compilation.Zhong Shao
1998Imperative Streams - A Monadic Combinator Library for Synchronous Programming.Enno Scholz
1998MAP: A Functional Analysis and Design Method.Dan Russell
1998On Application of Self-Similar Pictures in Education.Zoran Putnik
1998A Framework for Type Inference with Subtyping.Franois Pottier
1998Programming with Variable Functions.Martin Odersky
1998Pragmatic Subtyping in Polymorphic Languages.Johan Nordlander
1998The Spineless Tagless G-machine, naturally.Jon Mountjoy
1998A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects.Luc Moreau
1998On the Runtime Complexity of Type-Directed Unboxing.Yasuhiko Minamide, Jacques Garrigue
1998Type Errors Confuse the Programmer (Poster Abstract).Bruce J. McAdam
1998A Functional Programming Approach to Hypermedia Authoring.Daniel H. Marcos, Pablo E. Martnez Lpez, Walter A. Risi
1998YALE: Yet Another Lambda Evaluator Based on Interaction Nets.Ian Mackie
1998Frob - Functional Robotics.Gary Shu Ling
1998A Non-Deterministic Call-by-Need Lambda Calculus.Arne Kutzner, Manfred Schmidt-Schau
1998A Lazy CGI Namespace in Scheme.Oleg Kiselyov
1998A Delegation Language to Request Weather Products and a Scheme of Its Interpretation.Oleg Kiselyov
1998Functional Style in C++: Closures, Late Binding, and Lambda Abstractions.Oleg Kiselyov
1998LAND*: an AND with local bindings, aOleg Kiselyov
1998Taming Effects with Monadic Typing.Richard B. Kieburtz
1998Functional Differentiation of Computer Programs.Jerzy Karczmarczuk
901925 of 1,010← PreviousNext →

Comparable venues

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