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)
Publication types (Num. hits)
inproceedings(693) proceedings(21)
Venues (Conferences, Journals, ...)
ICFP(714)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 867 occurrences of 406 keywords

Results
Found 714 publication records. Showing 714 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David R. Christiansen, Edwin Brady Elaborator reflection: extending Idris in Idris. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maciej Piróg, Nicolas Wu String diagrams for free monads (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Max S. New, William J. Bowman, Amal Ahmed Fully abstract compilation via universal embedding. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi 0001 Automatically disproving fair termination of higher-order functional programs. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein Refinement through restraint: bringing down the cost of verification. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu Combining effects and coeffects via grading. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg 0001 A type theory for incremental computational complexity with control flow changes. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu Queueing and glueing for optimal partitioning (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1J. Garrett Morris The best of both worlds: linear functional programming without compromise. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ilya Sergey Experience report: growing and shrinking polygons for random testing of computational geometry algorithms. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen Oh Lord, please don't let contracts be misunderstood (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martín Abadi TensorFlow: learning functions at scale. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ralf Jung 0002, Robbert Krebbers, Lars Birkedal, Derek Dreyer Higher-order ghost state. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eric L. Seidel, Ranjit Jhala, Westley Weimer Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wazim Mohammed Ismail, Chung-chieh Shan Deriving a probability density calculator (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sukyoung Ryu Journey to find bugs in JavaScript web applications in the wild. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kotaro Takeda, Naoki Kobayashi 0001, Kazuya Yaguchi, Ayumi Shinohara Compact bit encoding schemes for simply-typed lambda-terms. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Katsuhiro Ueno, Atsushi Ohori A fully concurrent garbage collector for functional programs on multicore processors. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Christiansen, Nikita Danilenko, Sandra Dylus All sorts of permutations (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Arntzenius, Neelakantan R. Krishnaswami Datafun: a functional Datalog. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter Partial type equivalences for verified dependent interoperability. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch Hierarchical memory management for parallel programs. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim Disjoint intersection types. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish A new verified compiler backend for CakeML. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Gilray, Michael D. Adams 0001, Matthew Might Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sandrine Blazy, Vincent Laporte, David Pichardie An abstract memory functor for verified C static analyzers. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jacques Garrigue, Gabriele Keller, Eijiro Sumii (eds.) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016 Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Thiemann, Vasco T. Vasconcelos Context-free session types. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Darais, David Van Horn Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dan Licata A functional programmer's guide to homotopy type theory. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jesper Cockx, Dominique Devriese, Frank Piessens Unifiers as equivalences: proof-relevant unification of dependently typed data. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Castro, Kevin Hammond, Susmit Sarkar Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski Dag-calculus: a calculus for parallel computation. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones Sequent calculus as a compiler intermediate language. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Serrano, Vincent Prunet A glimpse of Hopjs. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak A lambda-calculus foundation for universal probabilistic programming. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton Ghostbuster: a tool for simplifying and converting GADTs. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Thibodeau, Andrew Cave, Brigitte Pientka Indexed codata types. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sam Lindley, J. Garrett Morris Talking bananas: structural recursion for session types. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen 0001 Set-theoretic types for polymorphic variants. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zvonimir Pavlinovic, Tim King 0001, Thomas Wies Practical SMT-based type error localization. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Niki Vazou, Alexander Bakst, Ranjit Jhala Bounded refinement types. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ryan R. Newton, Peter P. Fogg, Ali Varamesh Adaptive lock-free maps: purely-functional to scalable. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1William J. Bowman, Amal Ahmed Noninterference for free. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rastislav Bodík Program synthesis: opportunities for the next decade. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Rossberg 1ML - core and modules united (F-ing first-class modules). Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patrick Bahr, Jost Berthold, Martin Elsman Certified symbolic management of financial multi-party contracts. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Beta Ziliani, Matthieu Sozeau A unification algorithm for Coq featuring universe polymorphism and overloading. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mary Sheeran Functional programming and hardware design: still interesting after all these years. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Avanzini, Ugo Dal Lago, Georg Moser Analysing the complexity of functional programs: higher-order meets first-order. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthew Le, Matthew Fluet Partial aborts for transactions via first-class continuations. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joshua Dunfield Elaborating evaluation-order polymorphism. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tiark Rompf, Nada Amin Functional pearl: a SQL to C compiler in 500 lines of code. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mauro Jaskelioff, Exequiel Rivas Functional pearl: a smart view on datatypes. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel Foundational extensible corecursion: a proof assistant perspective. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha A fast compiler for NetKAT. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Atze van der Ploeg, Koen Claessen Practical principled FRP: forget the past, change the future, FRPNow! Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Norman Danner, Daniel R. Licata, Ramyaa Denotational cost semantics for functional languages with inductive types. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt Expressing contract monitors as patterns of communication. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adam Chlipala An optimizing compiler for a purely functional web-application language. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Gaboardi, Romain Péchoux Algebras and coalgebras in the light affine Lambda calculus. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre Genevès, Nils Gesbert XQuery and static typing: tackling the problem of backward axes. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alejandro Russo Functional pearl: two can keep a secret, if one of them uses Haskell. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell RRB vector: a practical general purpose immutable sequence. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kazutaka Matsuda, Meng Wang 0002 Applicative bidirectional programming with lenses. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Keil 0002, Peter Thiemann Blame assignment for higher-order contracts with intersection and union. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gabriel Scherer, Didier Rémy Which simple types have a unique inhabitant? Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1He Zhu, Aditya V. Nori, Suresh Jagannathan Learning refinement types. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton Efficient communication and collection with compact normal forms. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis Pilsner: a compositionally verified compiler for a higher-order imperative language. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt Pycket: a tracing JIT for a functional language. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Downen, Philip Johnson-Freyd, Zena M. Ariola Structures for structural recursion. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, John H. Reppy (eds.) Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  BibTeX  RDF
1Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo HLIO: mixing static and dynamic typing for information-flow control in Haskell. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Justin Pombrio, Shriram Krishnamurthi Hygienic resugaring of compositional desugaring. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tillmann Rendel, Julia Trieflinger, Klaus Ostermann Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cole Schlesinger, Michael Greenberg 0002, David Walker Concurrent NetCore: from policies to pipelines. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury Building embedded systems with embedded DSLs. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Olle Fredriksson, Dan R. Ghica Krivine nets: a semantic foundation for distributed execution. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler Practical and effective higher-order optimizations. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones Refinement types for Haskell. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gowtham Kaki, Suresh Jagannathan A relational framework for higher-order shape analysis. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld SeLINQ: tracking information across application-database boundaries. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yan Chen 0001, Umut A. Acar, Kanat Tangwongsan Functional programming for dynamic and large data with self-adjusting computation. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tomas Petricek 0001, Dominic A. Orchard, Alan Mycroft Coeffects: a calculus of context-dependent computation. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremy Gibbons, Nicolas Wu Folding domain-specific languages: deep and shallow embeddings (functional Pearl). Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito SML# in industry: a practical ERP system development. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Clemens Grabmayer, Jan Rochel Maximal sharing in the Lambda calculus with letrec. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Stansifer, Mitchell Wand Romeo: a system for more flexible binding-safe programming. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Winograd-Cort, Paul Hudak Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jennifer Hackett, Graham Hutton Worker/wrapper/makes it/faster. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher Using formal methods to enable more secure vehicles: DARPA's HACMS program. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Downen, Zena M. Ariola Compositional semantics for composable continuations: from abortive to delimited control. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Norman Ramsey On teaching *how to design programs*: observations from a newcomer. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy There is no fork: an abstraction for efficient, concurrent, and concise data access. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler Behavioral software contracts. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jesper Cockx, Dominique Devriese, Frank Piessens Pattern matching without K. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 714 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license