Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | J Strother Moore |
Functional formal methods. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving |
1 | Josef Svenningsson |
Shortcut fusion for accumulating parameters & zip-like functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
intermediate data structures, program transformation, optimisation, functional programming, deforestation |
1 | Peter J. Stuckey, Martin Sulzmann |
A theory of overloading. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
constraints, type inference, overloading, type classes |
1 | Brad A. Myers |
Towards more natural functional programming languages. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
empirical studies of programming, end-user programming, psychology of programming, natural programming |
1 | Danny Dubé, Marc Feeley |
A demand-driven adaptive type analysis. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
static analysis, type analysis, demand-driven analysis |
1 | Arthur I. Baars, S. Doaitse Swierstra |
Typing dynamic typing. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing |
1 | Bryan Ford |
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
scannerless parsing, top-down parsing, Haskell, backtracking, memoization, lexical analysis, parser combinators |
1 | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard |
Exception analysis for non-strict languages. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
Boolean constraints, non-strict functional programming languages, type inference, exceptions, effect systems |
1 | Todd D. Millstein, Colin Bleckner, Craig Chambers |
Modular typechecking for hierarchically extensible datatypes and functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
extensible datatypes, extensible functions, modular typechecking |
1 | Janis Voigtländer |
Concatenate, reverse and map vanish for free. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
list abstraction, rank-2 types, shortcut deforestation, the concatenate vanishes, theorems for free, program transformation, denotational semantics, combinators, parametricity, correctness proofs |
1 | Karl Crary, Joseph Vanderwaart |
An expressive, scalable type theory for certified code. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Mayer Goldberg |
There and back again. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection |
1 | Lars Thomas Hansen, William D. Clinger |
An experimental study of renewal-older-first garbage collection. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
older-first, generational garbage collection |
1 | Robert Bruce Findler, Matthias Felleisen |
Contracts for higher-order functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions |
1 | Ralf Hinze |
Bootstrapping one-sided flexible arrays. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
flexible arrays, mixed-radix number systems, purely functional data structures, sub-logarithmic look-up, Haskell |
1 | Mitchell Wand, Simon L. Peyton Jones (eds.) |
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Neubauer, Peter Thiemann 0001 |
Type classes with more higher-order polymorphism. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
higher-order unification, Haskell, type inference, type classes |
1 | Aleksandar Nanevski |
Meta-programming with names and necessity. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
modal lambda-calculus, higher-order abstract syntax |
1 | Christoph Lüth, Neil Ghani |
Composing monads using coproducts. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Grégoire, Xavier Leroy |
A compiled implementation of strong reduction. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq |
1 | Matthew Fluet, Stephen Weeks |
Contification Using Dominators. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Standard ML |
1 | Bernd Grobauer |
Cost Recurrences for DML Programs. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
ML |
1 | David Walker 0001, Kevin Watkins |
On Regions and Linear Types. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Zenger, Martin Odersky |
Extensible Algebraic Datatypes with Defaults. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells |
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Standard ML |
1 | Tim Sheard |
Generic Unification via Two-Level Types and Parameterized Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
parameterized modules, Haskell, generic programs, unification |
1 | Jörgen Gustavsson, David Sands 0001 |
Possibilities and Limitations of Call-by-Need Space Improvement. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Neubauer, Michael Sperber |
Down with Emacs Lisp: Dynamic Scope Analysis. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
LISP |
1 | Michael Sperber |
Developing a Stage Lighting System from Scratch. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Andrew M. Pitts |
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001 |
Automatic Generation of Staged Geometric Predicates. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Zhanyong Wan, Walid Taha, Paul Hudak |
Real-Time FRP. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin C. Pierce (eds.) |
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil |
Compositional Explanation of Types and Algorithmic Debugging of Type Errors. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ross Paterson |
A New Notation for Arrows. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Ralf Hinze |
A Simple Implementation Technique for Priority Search Queues. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
priority search queues, Haskell, views, tournament |
1 | Fabrice Le Fessant, Luc Maranget |
Optimizing Pattern Matching. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
ML |
1 | Manuel M. T. Chakravarty, Gabriele Keller |
Functional Array Fusion. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
Charting Patterns on Price History. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Hongwei Xi, Robert Harper 0001 |
A Dependently Typed Assembly Language. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Duggan |
Type-Based Hot Swapping of Running Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
module interconnection languages, dynamic typing, shared libraries, hot swapping |
1 | Claudio V. Russo |
Recursive Structures for Standard ML. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Standard ML |
1 | Steven E. Ganz, Amr Sabry, Walid Taha |
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
ML |
1 | Tyng-Ruey Chuang |
Generic Validation of Structural Content with Parametric Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
modules and interfaces, XML, XML, validation, functional programming, ML, ML, fixed points |
1 | George Russell |
Events in Haskell, and How to Implement Them. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Pierre-Louis Curien, Hugo Herbelin |
The duality of computation. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce |
Regular expression types for XML. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
UML |
1 | Chris Okasaki |
Breadth-first numbering: lessons from a small exercise in algorithm design. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Breadth-first numbering, breadth-first traversal, views |
1 | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
Non-stop Haskell. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Rowan Davies, Frank Pfenning |
Intersection types and computational effects. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
UML |
1 | Limsoon Wong |
The functional guts of the Kleisli query system. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen, John Hughes 0001 |
QuickCheck: a lightweight tool for random testing of Haskell programs. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Carl-Johan H. Seger |
Combining functional programming and hardware verification (abstract of invited talk). |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christian Skalka, Scott F. Smith 0001 |
Static enforcement of security with types. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary |
Typed compilation of inclusive subtyping. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Damian, Olivier Danvy |
Syntactic accidents in program analysis: on the impact of the CPS transformation. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation |
1 | Karl-Filip Faxén |
Cheap eagerness: speculative evaluation in a lazy functional language. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Weirich |
Type-safe cast: functional pearl. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism |
1 | Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward |
Composing contracts: an adventure in financial engineering, functional pearl. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell, PEARL |
1 | Brian McNamara, Yannis Smaragdakis |
Functional programming in C++. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
C++ |
1 | Robert Harper 0001, Benjamin C. Pierce |
Advanced module systems: a guide for the perplexed (abstract of invited talk). |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Manuel M. T. Chakravarty, Gabriele Keller |
More types for nested data parallel programming. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hinze |
Deriving backtracking monad transformers. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers |
1 | Martin Odersky, Philip Wadler (eds.) |
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano, Hans-Juergen Boehm |
Understanding memory allocation of scheme programs. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | François Pottier, Sylvain Conchon |
Information flow inference for free. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Meurig Sage |
FranTk - a declarative GUI language for Haskell. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
graphical user interfaces, Haskell, Haskell, functional reactive programming |
1 | Levent Erkök, John Launchbury |
Recursive monadic bindings. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce |
Recursive subtyping revealed: functional pearl. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
PEARL |
1 | Valery Trifonov, Bratin Saha, Zhong Shao |
Fully reflexive intensional type analysis. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
runtime type dispatch, typed intermediate language, certified code |
1 | Clement A. Baker-Finch, David J. King, Philip W. Trinder |
An operational semantics for parallel lazy evaluation. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa |
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
maximum-weightsum problem, mutumorphism, fusion, tupling, linear-time algorithm, program calculation |
1 | Christian Queinnec |
The influence of browsers on evaluators or, continuations to program web servers. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
WEB |
1 | Henrik Nilsson |
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Steve Zdancewic, Dan Grossman, J. Gregory Morrisett |
Principals in Programming Languages: A Syntactic Proof Technique. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Chris Okasaki |
From Fast Exponentiation to Square Matrices: An Adventure in Types. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal |
Specialization of Inductively Sequential Functional Logic Programs. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Frank Huch |
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
distributed system, model checking, verification, abstract interpretation, Erlang |
1 | Zdzislaw Splawski, Pawel Urzyczyn |
Type Fixpoints: Iteration vs. Recursion. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Christopher League, Zhong Shao, Valery Trifonov |
Representing Java Classes in a Typed Intermediate Language. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Steven E. Ganz, Daniel P. Friedman, Mitchell Wand |
Trampolined Style. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Ohori, Nobuaki Yoshida |
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Shao |
Transparent Modules with Fully Syntactic Signatures. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil |
Type Inference Builds a Short Cut to Deforestation. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Olin Shivers, James W. Clark, Roland McGrath |
Atomic Heap Transactions and Fine-grain Interrupts. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells |
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001, Lars Pareto |
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Elsman |
Static Interpretation of Modules. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sigbjørn Finne, Daan Leijen, Erik Meijer 0001, Simon L. Peyton Jones |
Calling Hell From Heaven and Heaven From Hell. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary |
A Simple Proof Technique for Certain Parametricity Results. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Andrew Kennedy |
Interlanguage Working Without Tears: Blending SML with Java. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Neal Glew |
Type Dispatch for Named Hierarchical Types. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary, Stephanie Weirich |
Flexible Type Analysis. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Malcolm Wallace, Colin Runciman |
Haskell and XML: Generic Combinators or Type-Based Translation? |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Miley Semmelroth, Amr Sabry |
Monadic Encapsulation in ML. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Longley |
When is a Functional Program Not a Functional Program? |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Didier Rémy, Peter Lee (eds.) |
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Launchbury, Jeffrey R. Lewis, Byron Cook |
On Embedding a Microarchitectural Design Language within Haskell. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, Jacques Garrigue |
On the Runtime Complexity of Type-Directed Unboxing. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
ML |