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)