TyDe 2022 When: Sun 11 Sep 2022 14:54 - 15:12 People: Amr Sabry

… …

miniKanren 2022 When: Thu 15 Sep 2022 09:00 - 09:30 People: Dmitrii Kosarev, Petr Lozov, Denis Fokin, Dmitri Boulytchev

… We address the problem of completely automatic and declarative way to laying out the elements of user interface in a way prescribed by a set of designer-specified guidelines. We present a model of UI which encorporates all relevant …

FARM When: Thu 15 Sep 2022 19:40 - 20:00 People: Rob Canning

… guitar sound in real-time.

These technologies all combine to give the performer …

Scheme When: Fri 16 Sep 2022 09:00 - 10:00 People: Marco T Morazan

… programming language and that educating students in all these topics can start …

Scheme When: Fri 16 Sep 2022 16:00 - 17:00 People: Gerald Jay Sussman

… of symmetrical design, and the horrors of ugly kludges.

All programs have …

Scheme When: Fri 16 Sep 2022 11:00 - 11:30 People: William J. Bowman

… to derive interpreters for all the intermediate languages. The embedding …

PLanQC When: Thu 15 Sep 2022 16:00 - 16:25 People: Eric C. Peterson, Lev S. Bishop, Ali Javadi-Abhari

… of XX–type gates (a family that describes all 2-qubit controlled gates … to the optimal limit of ≈36.9% obtained by including all fractional CX^α, α ∈ [0, 1 …

OCaml 2022 When: Fri 16 Sep 2022 16:00 - 16:20 People: Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos

… generation (at present, of OCaml and C) and guarantees in all cases _complete …

TyDe 2022 When: Sun 11 Sep 2022 14:00 - 14:18 People: Nathan Corbyn, Ohad Kammar, Sam Lindley, Nachiappan Valliappan, Jeremy Yallop

… yields a generic NbE algorithm that works for all such instantiations, and thus for all primitive types with this structure. We show that this implementation …

HOPE 2022 People: Francesco Gavazzo, Cecilia Di Florio

… and the theory of quantitative algebras and quantitative equational reasoning. All …

HOPE 2022 When: Sun 11 Sep 2022 16:30 - 17:00 People: Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Amal Ahmed

… , then it essentially ends up sharing all of its memory, potentially allowing adversarial …

ML When: Thu 15 Sep 2022 14:20 - 14:40 People: Thomas Réfis, Ulysse Gérard, Leo White

… , they are less acceptable for wider use cases like finding all the usages …

HIW 2022 When: Sun 11 Sep 2022 14:30 - 14:45 People: Jeffrey Young

… of all. …

PLanQC When: Thu 15 Sep 2022 16:50 - 17:15 People: Lia Yeh, John van de Wetering

… in Clifford+$T$; in the qubit setting, this result does not hold. All …

OCaml 2022 When: Fri 16 Sep 2022 14:00 - 14:20 People: Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy, Kate Deplaix

… opam packages across OCaml versions. All of these systems use OBuilder …

Haskell 2022 When: Fri 16 Sep 2022 09:30 - 10:30 People: David Thrane Christiansen

… the cycle of improvements to Haskell that has given us all so much.

High-quality …

Haskell 2022 When: Fri 16 Sep 2022 11:30 - 12:00 People: Apoorv Ingle, Alex Hubers, J. Garrett Morris

… Type constructors in functional programming languages are total: a Haskell programmer can equally readily construct lists of any element type. In practice, however, not all applications of type constructors are equally sensible …

Haskell 2022 When: Fri 16 Sep 2022 12:00 - 12:30 People: Jesper Cockx, Lucas Escot, Orestis Melkonian, James Chapman, Ulf Norell

… to a broader audience.

This paper is a literate Agda script, hence all …

TyDe 2022 When: Sun 11 Sep 2022 09:00 - 09:18 People: Zilin Chen

… aggregates all the proof obligations that need to be fulfilled to witness the well …

TyDe 2022 When: Sun 11 Sep 2022 10:12 - 10:30 People: David Binder, Ingo Skupin, David Läwen, Klaus Ostermann

… to manually specify all refinements they want to use. We only require the user … constructor only at the toplevel. We support all refinements that can …

Catering & social When: Mon 12 Sep 2022 08:00 - 08:50Sun 11 Sep 2022 08:00 - 09:00Fri 16 Sep 2022 08:00 - 09:00Tue 13 Sep 2022 08:00 - 09:00Thu 15 Sep 2022 08:00 - 09:00Wed 14 Sep 2022 08:00 - 09:00

… All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00. …

ICFP Papers and Events When: Mon 12 Sep 2022 16:30 - 16:50 People: Cas van der Rest, Wouter Swierstra

… How can we enumerate the inhabitants of an algebraic datatype? This paper explores a datatype generic solution that works for all regular types and indexed families. The enumerators presented here are provably both complete …

ICFP Papers and Events When: Tue 13 Sep 2022 09:00 - 10:00 People: Delia Kesner

… in this setting. In all the cases, explained and discussed in the talk, the quantitative …

Catering & social When: Mon 12 Sep 2022 19:00 - 20:00

… Join us for an exclusive tour that will take you through Ljubljana Old Town and all the way to the castle, where the ICFP reception takes place. We meet at Kongresni trg at 19:00.

Tourist …

ICFP Papers and Events When: Mon 12 Sep 2022 11:10 - 11:30 People: Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

… We study the nature of applicative bisimilarity in 𝜆-calculi endowed with operators for sampling from continuous distributions. On the one hand, we show that bisimilarity, logical equivalence, and testing equivalence all coincide …

ICFP Papers and Events When: Tue 13 Sep 2022 14:40 - 15:00 People: James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova

… . At their core, all these data structures exploit independence of subterms; as a result …

ICFP Papers and Events When: Tue 13 Sep 2022 10:50 - 11:10 People: Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen

… the influence of rule choice on program structure and argue that having all kinds …

ICFP Papers and Events When: Wed 14 Sep 2022 10:50 - 11:10 People: James Koppel, Jackson Kearl, Armando Solar-Lezama

… with 60-80 rules, featuring nearly all intraprocedural control constructs … vision of being able to synthesize all desired tools from the semantics …

Student Research Competition People: Bernard Boey

… When writing a computer program, we often use unit tests to check correctness. However, unit testing is insufficient to detect all errors, resulting in the potential for software bugs. A better way to demonstrate correctness is to use …

Student Research Competition People: Francis Rinaldi

… are statically-derived representations of all DAGs that could be produced by a program. While …

ICFP Papers and Events When: Wed 14 Sep 2022 14:40 - 15:00 People: Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu

… of the operations of the presentation, and that all graded monads satisfying …

ICFP Papers and Events When: Tue 13 Sep 2022 10:30 - 10:50 People: Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer

… to eliminate a later" into an ownable resource, which is subject to all the traditional …

ICFP Papers and Events When: Mon 12 Sep 2022 16:10 - 16:30 People: Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter

… a gradual type theory. All these issues manifest primally in CastCIC, the cast calculus …

Student Research Competition People: Joseph Eremondi

… show a “fire-triangle” result: no dependently typed language can satisfy all …