Powered by
Proceedings of the ACM on Programming Languages, Volume 1, Number ICFP,
September 3–9, 2017,
Oxford, UK
Frontmatter
Art and Education
Functional Programming Techniques
Applications
Effects
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, Sam Lindley
, and Matija Pretnar
(Saarland University, Germany; University of Cambridge, UK; University of Oxford, UK; University of Edinburgh, UK; University of Ljubljana, Slovenia)
Artifacts Functional
Low-Level and Systems Programming
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko , Jean-Karim Zinzindohoué, Aseem Rastogi
, Tahina Ramananandro
, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud
,
Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet
, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
Verifying Efficient Function Calls in CakeML
Scott Owens
, Michael Norrish
, Ramana Kumar,
Magnus O. Myreen , and Yong Kiam Tan
(University of Kent, UK; Data61 at CSIRO, Australia; Australian National University, Australia; UNSW, Australia; Chalmers University of Technology, Sweden; Carnegie Mellon University, USA)
Artifacts Reusable
Foundations of Higher-Order Programming
Foundations of Strong Call by Need
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, and
Delia Kesner
(LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; University of Buenos Aires, Argentina; IRIF, France; University of Paris Diderot, France; CONICET, Argentina; Universidad Nacional de Quilmes, Argentina; Stevens Institute of Technology, USA)
Tools for Verification
Program Construction
Domain-Specific Languages
Dependently Typed Programming
Contracts and Sessions
Integrating Static and Dynamic Typing
Inference and Analysis
proc time: 0.04