ST /

ICFP2013

The CSE department (Software Technology and Computer Science divisions) had one keynote and 12 papers accepted for the International Conference on Functional Programming 2013 and associated workshops.

ICFP 2013

Keynote: Ulf Norell on Interactive Programming with Dependent Types

Wellfounded Recursion with Copatterns: A Unified Approach to Termination and Productivity Andreas Abel and Brigitte Pientka

Using Circular Programs for Higher-Order Syntax [Functional Pearl] Emil Axelsson and Koen Claessen

Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages Jean-Philippe Bernardy and Koen Claessen

Type-Theory In Color Jean-Philippe Bernardy and Guilhem Moulin

Testing Noninterference, Quickly Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim and Leonidas Lampropoulos

Simple and Compositional Reification of Monadic Embedded Languages [Functional Pearl] Josef Svenningsson and Bo Joel Svensson

Haskell Symposium

Jean-Philippe Bernardy and Nicolas Pouillard Names For Free—Polymorphic Views of Names and Binders

Johan Ankner and Josef Svenningsson An EDSL Approach to High Performance Haskell Programming

Koen Claessen and Michał Pałka Splittable Pseudorandom Number Generators Using Cryptographic Hashing

Functional High-Performance Computing

Josef Svenningsson, Joel Svensson and Mary Sheeran. Counting and Occurrence sort for GPUs using an Embedded Language

Dependently-Typed Programming

Correct-by-Construction Pretty-Printing Nils Anders Danielsson (Chalmers and University of Gothenburg)

Erlang Workshop

Testing blocking operations with QuickCheck's component library (by Ulf Norell, Hans Svensson, Thomas Arts)