Skip to main content

Main navigation

Home
Series
People
Depts & Colleges
Open Education

Search

Main navigation

Home
Series
People
Depts & Colleges
Open Education

technology

Search title

International Conference on Functional Programming 2017

A Specification for Dependent Types in Haskell

Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference.

Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)

Robby Findler (Northwestern University, USA), gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICFP conference.

Visitors Unchained

Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference.

Compiling to Categories

Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference.

Local Refinement Typing

Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference.

SpaceSearch: A Library for Building and Verifying Solver-Aided Tools

Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference.

Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification

No-Brainer CPS Conversion

Milo Davis (Northeastern University, USA) gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP.

How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation

Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference.

Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols

Geoffrey Mainland (Drexel University, USA) gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.

Verifying Efficient Function Calls in CakeML

Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.

A Relational Logic for Higher-Order Programs

Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference.

Verified Low-Level Programming Embedded in F

Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.

Persistence for the Masses: RRB-Vectors in a Systems Language

Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.

Effect-Driven QuickChecking of Compilers

Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark.

Imperative Functional Programs that Explain their Work

Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK.

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control

Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICFP 2017 conference.

Abstracting Definitional Interpreters

David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phuc C. Nguyen, University of Maryland, USA.

Symbolic Conditioning of Arrays in Probabilistic Programs

Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA.

A Framework for Adaptive Differential Privacy

Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA.

Pagination

First page
Previous page
Page 1
Page 2
Page 3
Current page 4
Page 5
Page 6
Page 7
Page 8
Page 9
…
Next page
Last page

Footer

About
Accessibility
Contribute
Copyright
Contact
Privacy