ICFP

Publications

2020

Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020 ICFP (2020)

2016

Ilya Sergey
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms. ICFP (2016)
Jesper Cockx, Dominique Devriese, Frank Piessens
Unifiers as equivalences: proof-relevant unification of dependently typed data. ICFP (2016)
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)
Sukyoung Ryu
Journey to find bugs in JavaScript web applications in the wild. ICFP (2016)
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)
Dan Licata
A functional programmer's guide to homotopy type theory. ICFP (2016)
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
A lambda-calculus foundation for universal probabilistic programming. ICFP (2016)
David Thibodeau, Andrew Cave, Brigitte Pientka
Indexed codata types. ICFP (2016)
Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg
A type theory for incremental computational complexity with control flow changes. ICFP (2016)
Jan Christiansen, Nikita Danilenko, Sandra Dylus
All sorts of permutations (functional pearl). ICFP (2016)
Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton
Ghostbuster: a tool for simplifying and converting GADTs. ICFP (2016)
Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter
Partial type equivalences for verified dependent interoperability. ICFP (2016)
David R. Christiansen, Edwin C. Brady
Elaborator reflection: extending Idris in Idris. ICFP (2016)
Manuel Serrano, Vincent Prunet
A glimpse of Hopjs. ICFP (2016)
David Darais, David Van Horn
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. ICFP (2016)
Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch
Hierarchical memory management for parallel programs. ICFP (2016)
Maciej Piróg, Nicolas Wu
String diagrams for free monads (functional pearl). ICFP (2016)
Eric L. Seidel, Ranjit Jhala, Westley Weimer
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). ICFP (2016)
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
Oh Lord, please don't let contracts be misunderstood (functional pearl). ICFP (2016)
Max S. New, William J. Bowman, Amal Ahmed
Fully abstract compilation via universal embedding. ICFP (2016)
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)
Peter Thiemann, Vasco T. Vasconcelos
Context-free session types. ICFP (2016)
Martín Abadi
TensorFlow: learning functions at scale. ICFP (2016)
David Castro, Kevin Hammond, Susmit Sarkar
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. ICFP (2016)
Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim
Disjoint intersection types. ICFP (2016)
Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara
Compact bit encoding schemes for simply-typed lambda-terms. ICFP (2016)
Michael Arntzenius, Neelakantan R. Krishnaswami
Datafun: a functional Datalog. ICFP (2016)
Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
Combining effects and coeffects via grading. ICFP (2016)
Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones
Sequent calculus as a compiler intermediate language. ICFP (2016)
Sam Lindley, J. Garrett Morris
Talking bananas: structural recursion for session types. ICFP (2016)
Sandrine Blazy, Vincent Laporte, David Pichardie
An abstract memory functor for verified C static analyzers. ICFP (2016)
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Set-theoretic types for polymorphic variants. ICFP (2016)
J. Garrett Morris
The best of both worlds: linear functional programming without compromise. ICFP (2016)
Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
Higher-order ghost state. ICFP (2016)
Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu
Queueing and glueing for optimal partitioning (functional pearl). ICFP (2016)
Thomas Gilray, Michael D. Adams, Matthew Might
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. ICFP (2016)
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016 ICFP (2016)
Katsuhiro Ueno, Atsushi Ohori
A fully concurrent garbage collector for functional programs on multicore processors. ICFP (2016)
Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski
Dag-calculus: a calculus for parallel computation. ICFP (2016)
Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi
Automatically disproving fair termination of higher-order functional programs. ICFP (2016)
Wazim Mohammed Ismail, Chung-chieh Shan
Deriving a probability density calculator (functional pearl). ICFP (2016)

2015