Search events for 'all'
All ICFP participants are welcome
Receptions When: Thu 22 Sep 2016 18:30 - 20:30
… …
All Sorts of Permutations (Functional Pearl)
Research Papers When: Mon 19 Sep 2016 17:50 - 18:15 People: Jan Christiansen, Nikita Danilenko, Sandra Dylus
… enumerates all permutations of the input list. We use free theorems, which …
Supermonads: One Notion to Bind Them All
Haskell When: Fri 23 Sep 2016 14:25 - 14:50 People: Jan Bracker, Henrik Nilsson
… of monadic functions that work uniformly with all of them.
As standard Haskell type …
Effective programming: bringing algebraic effects and handlers to OCaml
HOPE When: Sun 18 Sep 2016 09:15 - 10:15 People: Leo White
… eminently suitable for ensuring all algebraic effects are appropriately handled …
A Dependent Haskell Triptych
HIW When: Sat 24 Sep 2016 11:45 - 12:10 People: Richard A. Eisenberg
… of this talk is not to explain all of the details of any of these examples, nor …
Remote GHCi
HIW When: Sat 24 Sep 2016 15:20 - 15:45 People: Simon Marlow
… with all of the services that our production systems talk to, while having a nice …
Pattern Synonyms
Haskell When: Thu 22 Sep 2016 15:20 - 15:45 People: Matthew Pickering, Gergo Erdi, Simon Peyton Jones, Richard A. Eisenberg
…
to enforce any invariants. Any change in this data type requires all clients … to abstract over patterns, painting over all the shortcomings listed above …
Composable Caching in Swift
CUFP When: Sat 24 Sep 2016 15:20 - 15:45 People: Brandon Kase
… doesn’t just all go away, it’s just hidden. With an abstraction so nice …
How to Twist Pointers without Breaking Them
Haskell When: Thu 22 Sep 2016 12:10 - 12:35 People: Satvik Chauhan, Piyush Kurur, Brent Yorgey
… us to abstract all pointer arithmetic and size calculations into a few lines …
FitSpec: Refining Property Sets for Functional Testing
Haskell When: Thu 22 Sep 2016 09:25 - 09:50 People: Rudy Braquehais, Colin Runciman
… surviving mutants that pass all tests. The number of surviving
mutants and any …
Experience Report: Types for a Relational Algebra Library
Haskell When: Fri 23 Sep 2016 10:35 - 11:00 People: Marten Agren, Lennart Augustsson
… As part of our software toolkit at a major financial institution
we have a library for relational algebra.
This library is written in C++ and the type checking of the operations on the relations is very dynamic; all relations have …
A Functional Programmer's Guide to Homotopy Type Theory
Keynote Talks When: Wed 21 Sep 2016 09:15 - 10:15 People: Daniel R. Licata
… that all types in dependent type theory support a certain generic program that had … with computationally relevant witnesses of equality of elements of that type, and all … from groupoids (categories where all maps are invertible) to general categories …
Disjoint Intersection Types
Research Papers When: Wed 21 Sep 2016 11:25 - 11:50 People: Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim
… if
they do not share any common supertypes at all. The other two variants
introduce … are disjoint
for all three variants. …
Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Research Papers When: Tue 20 Sep 2016 13:30 - 13:55 People: Eric Seidel, Ranjit Jhala, Westley Weimer
… procedure synthesizes general witnesses in that if a witness is found, then for all …
Ghostbuster: A Tool for Simplifying and Converting GADTs
Research Papers When: Wed 21 Sep 2016 10:35 - 11:00 People: Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton
… Generalized Algebraic Dataypes, or simply GADTs, can encode non-trivial properties in the types of the constructors. Once such properties are encoded in a datatype, however, all code manipulating that datatype must provide proof …