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
Most published authors
ICFP papers
1,010 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1996 | Functional Back-Ends within the Lambda-Sigma Calculus. | Thrse Hardin, Luc Maranget, Bruno Pagano |
| 1996 | A New Look to Pattern Matching in Abstract Data Types. | Pedro Palao-Gostanza, Ricardo Pena, Manuel Nez |
| 1996 | Complexity of Kernel Fun Subtype Checking. | Giorgio Ghelli |
| 1996 | pHluid: The Design of a Parallel Functional Language Implementation on Workstations. | Cormac Flanagan, Rishiyur S. Nikhil |
| 1996 | A Theory of Weak Bisimulation for Core CML. | William Ferreira, Matthew Hennessy, Alan Jeffrey |
| 1996 | Mixin Modules. | Dominic Duggan, Constantinos Sourelis |
| 1996 | A Probabilistic Approach to the Problem of Automatic Selection of Data Representations. | Tyng-Ruey Chuang, Wen-Liang Hwang |
| 1996 | Synchronous Kahn Networks. | Paul Caspi, Marc Pouzet |
| 1996 | A Provable Time and Space Efficient Implementation of NESL. | Guy E. Blelloch, John Greiner |
| 1996 | Analysis and Caching of Dependencies. | Martn Abadi, Butler W. Lampson, Jean-Jacques Lvy |
1,001–1,010 of 1,010← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems