The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICFP"( http://dblp.L3S.de/Venues/ICFP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/icfp

Publication years (Num. hits)
1996 (26) 1997 (43) 1998 (47) 1999 (26) 2000 (28) 2001 (25) 2002 (28) 2003 (28) 2004 (26) 2005 (30) 2006 (28) 2007 (35) 2008 (40) 2009 (36) 2010 (37) 2011 (41) 2012 (36) 2013 (43) 2014 (32) 2015 (38) 2016 (41) 2020 (1)
Publication types (Num. hits)
inproceedings(693) proceedings(22)
Venues (Conferences, Journals, ...)
ICFP(715)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 867 occurrences of 406 keywords

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