| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | James McKinna, Cyrus Omar (eds.) |
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020  |
ICFP  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, J. Garrett Morris |
Talking bananas: structural recursion for session types. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Christiansen, Edwin C. Brady |
Elaborator reflection: extending Idris in Idris. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Licata |
A functional programmer's guide to homotopy type theory. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish |
A new verified compiler backend for CakeML. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Christiansen, Nikita Danilenko, Sandra Dylus |
All sorts of permutations (functional pearl). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Piróg, Nicolas Wu |
String diagrams for free monads (functional pearl). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Vincent Laporte, David Pichardie |
An abstract memory functor for verified C static analyzers. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Garrett Morris |
The best of both worlds: linear functional programming without compromise. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kotaro Takeda, Naoki Kobayashi 0001, Kazuya Yaguchi, Ayumi Shinohara |
Compact bit encoding schemes for simply-typed lambda-terms. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Cockx, Dominique Devriese, Frank Piessens |
Unifiers as equivalences: proof-relevant unification of dependently typed data. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones |
Sequent calculus as a compiler intermediate language. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wazim Mohammed Ismail, Chung-chieh Shan |
Deriving a probability density calculator (functional pearl). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Darais, David Van Horn |
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Serrano, Vincent Prunet |
A glimpse of Hopjs. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Castro 0006, Kevin Hammond, Susmit Sarkar |
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen |
Oh Lord, please don't let contracts be misunderstood (functional pearl). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter |
Partial type equivalences for verified dependent interoperability. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kento 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. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sukyoung Ryu |
Journey to find bugs in JavaScript web applications in the wild. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton |
Ghostbuster: a tool for simplifying and converting GADTs. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu |
Combining effects and coeffects via grading. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiichi Watanabe, Ryosuke Sato 0001, Takeshi Tsukada, Naoki Kobayashi 0001 |
Automatically disproving fair termination of higher-order functional programs. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam 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. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Sergey |
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim |
Disjoint intersection types. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
TensorFlow: learning functions at scale. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski |
Dag-calculus: a calculus for parallel computation. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Thibodeau 0001, Andrew Cave, Brigitte Pientka |
Indexed codata types. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg 0001 |
A type theory for incremental computational complexity with control flow changes. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Max S. New, William J. Bowman, Amal Ahmed 0001 |
Fully abstract compilation via universal embedding. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann 0001, Vasco T. Vasconcelos |
Context-free session types. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiro Ueno, Atsushi Ohori |
A fully concurrent garbage collector for functional programs on multicore processors. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric L. Seidel, Ranjit Jhala, Westley Weimer |
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen 0001 |
Set-theoretic types for polymorphic variants. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon 0001, Marcin Szymczak 0002 |
A lambda-calculus foundation for universal probabilistic programming. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gilray, Michael D. Adams 0001, Matthew Might |
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch |
Hierarchical memory management for parallel programs. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Jung 0002, Robbert Krebbers, Lars Birkedal, Derek Dreyer |
Higher-order ghost state. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu |
Queueing and glueing for optimal partitioning (functional pearl). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques 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 |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Arntzenius, Neelakantan R. Krishnaswami |
Datafun: a functional Datalog. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Jost Berthold, Martin Elsman |
Certified symbolic management of financial multi-party contracts. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan R. Newton, Peter P. Fogg, Ali Varamesh |
Adaptive lock-free maps: purely-functional to scalable. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Philip Johnson-Freyd, Zena M. Ariola |
Structures for structural recursion. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Keil 0002, Peter Thiemann 0001 |
Blame assignment for higher-order contracts with intersection and union. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Avanzini, Ugo Dal Lago, Georg Moser |
Analysing the complexity of functional programs: higher-order meets first-order. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Romain Péchoux |
Algebras and coalgebras in the light affine Lambda calculus. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Dunfield |
Elaborating evaluation-order polymorphism. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Russo |
Functional pearl: two can keep a secret, if one of them uses Haskell. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rossberg |
1ML - core and modules united (F-ing first-class modules). |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tillmann Rendel, Julia Trieflinger, Klaus Ostermann |
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiark Rompf, Nada Amin |
Functional pearl: a SQL to C compiler in 500 lines of code. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Genevès, Nils Gesbert |
XQuery and static typing: tackling the problem of backward axes. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Meng Wang 0002 |
Applicative bidirectional programming with lenses. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach |
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Chlipala |
An optimizing compiler for a purely functional web-application language. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt |
Expressing contract monitors as patterns of communication. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Niki Vazou, Alexander Bakst, Ranjit Jhala |
Bounded refinement types. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Le, Matthew Fluet |
Partial aborts for transactions via first-class continuations. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rastislav Bodík |
Program synthesis: opportunities for the next decade. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Jaskelioff, Exequiel Rivas |
Functional pearl: a smart view on datatypes. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | He Zhu 0001, Aditya V. Nori, Suresh Jagannathan |
Learning refinement types. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo |
HLIO: mixing static and dynamic typing for information-flow control in Haskell. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen 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 |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Pombrio, Shriram Krishnamurthi |
Hygienic resugaring of compositional desugaring. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Beta Ziliani, Matthieu Sozeau |
A unification algorithm for Coq featuring universe polymorphism and overloading. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Danner, Daniel R. Licata, Ramyaa |
Denotational cost semantics for functional languages with inductive types. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Scherer, Didier Rémy |
Which simple types have a unique inhabitant? |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | William J. Bowman, Amal Ahmed 0001 |
Noninterference for free. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel |
Foundational extensible corecursion: a proof assistant perspective. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonimir Pavlinovic, Tim King 0001, Thomas Wies |
Practical SMT-based type error localization. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt |
Pycket: a tracing JIT for a functional language. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis |
Pilsner: a compositionally verified compiler for a higher-order imperative language. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Atze van der Ploeg, Koen Claessen |
Practical principled FRP: forget the past, change the future, FRPNow! |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha |
A fast compiler for NetKAT. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell |
RRB vector: a practical general purpose immutable sequence. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Sheeran |
Functional programming and hardware design: still interesting after all these years. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton |
Efficient communication and collection with compact normal forms. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Chen 0008, Martin Erwig |
Type-based parametric analysis of program families. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Conor Thomas McBride |
How to keep your neighbours in order. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Petricek 0001, Dominic A. Orchard, Alan Mycroft |
Coeffects: a calculus of context-dependent computation. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich |
Depending on types. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jan Rochel |
Maximal sharing in the Lambda calculus with letrec. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn |
Soft contract verification. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich |
Safe zero-cost coercions for Haskell. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld |
SeLINQ: tracking information across application-database boundaries. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper 0001 |
Homotopical patch theory. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell |
Lem: reusable engineering of real-world semantics. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cole Schlesinger, Michael Greenberg 0002, David Walker 0001 |
Concurrent NetCore: from policies to pipelines. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy |
There is no fork: an abstraction for efficient, concurrent, and concise data access. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Stansifer, Mitchell Wand |
Romeo: a system for more flexible binding-safe programming. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Hackett, Graham Hutton |
Worker/wrapper/makes it/faster. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury |
Building embedded systems with embedded DSLs. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter |
A theory of gradual effect systems. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler |
Behavioral software contracts. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito |
SML# in industry: a practical ERP system development. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Cockx, Dominique Devriese, Frank Piessens |
Pattern matching without K. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Jeuring, Manuel M. T. Chakravarty (eds.) |
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014 |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license