Skip to main content

Main navigation

Home
Series
People
Depts & Colleges
Open Education

Search

Main navigation

Home
Series
People
Depts & Colleges
Open Education

programming

Search title

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.

Assuring AI

John Launchbury, Chief Scientist of Galois Inc, gives the second keynote 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.

Prototyping a Query Compiler using Coq (Experience Report)

Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA.

A Unified Approach to Solving Seven Programming Problems (Functional Pearl)

William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.

Generic Functional Parallel Algorithms: Scan and FFT

Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.

A Pretty But Not Greedy Printer (Functional Pearl)

Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.

Faster Coroutine Pipelines

Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.

Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC

Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference.

Lock-Step Simulation Is Child's Play (Experience Report)

Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA.

Super 8 Languages for Making Movies (Functional Pearl)

Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference.

Compositional Creativity: Some Principles for Talking to Computers

Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference.

Pagination

First page
Previous page
Page 1
Page 2
Page 3
Next page
Last page

Footer

About
Accessibility
Contribute
Copyright
Contact
Privacy