Search events for 'all'
State machines all the way down
ML 2017 When: Thu 7 Sep 2017 09:05 - 10:00 People: Edwin Brady
… …
Higher-order Programming is an Effect
HOPE 2017 When: Sun 3 Sep 2017 10:30 - 11:00 People: Oleg Kiselyov
… , is an effect as well. The (lexical) closure acts as a handler of all ….
All in all, higher-order programming is essentially first-order single …
In medias res: WIP discussion
Erlang 2017 When: Fri 8 Sep 2017 17:20 - 17:50
… NOTE: Tentative agenda
Open discussion of works-in-progress (WIPs) in research and new developments in industry & open source communities for all BEAM languages (Erlang, Elixir, LFE, and others) as well as actor-based systems (Akka …
Generic packet descriptions: verified parsing and pretty printing of low-level data
TyDe 2017 When: Sun 3 Sep 2017 10:30 - 11:00 People: Marcell van Geest, Wouter Swierstra
… once and for all that the parsers and pretty printers generated in this style …
Towards abductive functional programming
ML 2017 When: Thu 7 Sep 2017 14:50 - 15:15 People: Koko Muroya
… Abductive reasoning is a form of logical inference which seeks to uncover all possible causes of an observation. We show how abduction has a computational counterpart, like many other proof-theoretic concepts: namely the identification …
In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions
FHPC 2017 When: Thu 7 Sep 2017 14:00 - 14:30 People: Adam Barwell, Kevin Hammond
… from the standard Haskell Prelude. In all cases, we obtain the expected results …
Strategies for Regular Segmented Reductions on GPU
FHPC 2017 When: Thu 7 Sep 2017 14:30 - 15:00 People: Rasmus Wriedt Larsen, Troels Henriksen
… compiler that is able to employ all three strategies and automatically select …
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Erlang 2017 When: Fri 8 Sep 2017 14:00 - 14:25 People: Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara
… potentially accessed by all the circuits for the processes simultaneously …
Ode on a Random Urn (Functional Pearl)
Haskell 2017 When: Thu 7 Sep 2017 12:00 - 12:30 People: Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner
… at all times using a single machine word of overhead: its size.
Urns provide …
Elaboration on Functional Dependencies
Haskell 2017 When: Fri 8 Sep 2017 14:00 - 14:30 People: Georgios Karachalias, Tom Schrijvers
… elaboration strategy which allows all well-typed programs to be elaborated into System …
Quantified Class Constraints
Haskell 2017 When: Fri 8 Sep 2017 14:30 - 15:00 People: Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
… or studied in depth. Instead, several workarounds have been proposed, all of which …
Using Coq to Write Fast and Correct Haskell
Haskell 2017 When: Thu 7 Sep 2017 15:30 - 16:00 People: John Wiegley, Benjamin Delaware
… , straightforward code must all too often be replaced by highly optimized variants …
The State of the OCaml Platform: September 2017
OCaml 2017 When: Fri 8 Sep 2017 09:40 - 10:05 People: Anil Madhavapeddy
… . The goal of the talk is to place all of these projects into the context …
Keynote: Are We There Yet?
CUFP 2017 When: Sat 9 Sep 2017 09:10 - 09:35 People: Bodil Stokke
… are even architects. But do we have any idea at all? Let’s examine what we’ve …
Tutorial C8: GraphQL Servers in OCaml
CUFP 2017 When: Fri 8 Sep 2017 14:00 - 15:00 People: Andreas Garnæs
… REST, types are front and center in GraphQL: all input and output types must …
Using Haskell to run a datacenter
CUFP 2017 When: Sat 9 Sep 2017 15:30 - 15:55 People: Pavlo Kerestey
… the datacenter with all the production code written in Haskell since. The main benefit …
Tutorial C4: Git under the hood with OCaml
CUFP 2017 When: Thu 7 Sep 2017 14:00 - 15:00 People: Romain Calascibetta
… and modify local Git repositories (all Git object kinds are supported, including …
Using Functional Programming to Accelerate Translational Research at Pfizer
CUFP 2017 When: Sat 9 Sep 2017 17:15 - 17:40 People: Austin Huang
… programming at all stages of the workflow. The first stage is data acquisition, where … is an unusual setting for this, we used functional programming technologies at all …
Interfacing OCaml and Rust: picking the right tool for the job
CUFP 2017 When: Sat 9 Sep 2017 10:30 - 10:55 People: Joris Giovannangeli
… the C API, breaking all abstractions and type safety and making polymorphism hard …
On Polymorphic Gradual Typing
Research Papers When: Wed 6 Sep 2017 15:23 - 15:46 People: Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
… that System F_G satisfies most of the criteria: all but the hardest property … guarantee leads to the Jack-of-All-Trades property, conjectured as an important …
FARM Evening Of Algorithmic Arts
Social Events When: Sat 9 Sep 2017 19:30 - 22:00
… ).
This event is organized by the FARM workshop, but it is open to all ICFP …
A Metaprogramming Framework for Formal Verification
Research Papers When: Wed 6 Sep 2017 11:37 - 12:00 People: Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
… Dependent type theory is a powerful framework for interactive theorem proving and automated reasoning, allowing us to encode mathematical objects, data type specifications, assertions, proofs, and programs, all in the same language …
Gradual Typing with Union and Intersection Types
Research Papers When: Wed 6 Sep 2017 15:46 - 16:10 People: Giuseppe Castagna, Victor Lanvin
… to deciding subtyping on non-gradual types and that the same holds true for all …
Local Refinement Typing
Research Papers When: Tue 5 Sep 2017 15:46 - 16:10 People: Benjamin Cosman, Ranjit Jhala
… precise refinement types for all intermediate terms (expressible in the decidable …
A Specification for Dependent Types in Haskell
Research Papers When: Wed 6 Sep 2017 10:30 - 10:52 People: Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg
… , suitable for implementation in GHC. All of our results—chiefly, type safety …
Ten Years of Clojure -- FP Out of the Box
Keynotes and Reports People: Rich Hickey
… of professional experience in all facets of software development. Rich has worked …
Parametric Quantifiers for Dependent Type Theory
Research Papers When: Wed 6 Sep 2017 10:52 - 11:15 People: Andreas Nuyts, Andrea Vezzosi, Dominique Devriese
… allows the metatheoretical derivation of parametricity theorems about all values …