A scheduling framework for general-purpose parallel languages
|
|
Matthew Fluet, Michael Rainey and John Reppy |
|
A Type-Preserving Compiler in Haskell
|
|
Louis-Julien Guillemette and Stefan Monnier |
|
Aura: A programming language for authorization and audit
|
|
Limin Jia, Jeffrey Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr and Steve Zdancewic |
|
Compiling Self-Adjusting Programs with Continuations
|
|
Ruy Ley-Wild, Matthew Fluet and Umut Acar |
|
Data-Flow Testing of Declarative Programs
|
|
Sebastian Fischer and Herbert Kuchen |
|
Deciding kCFA is complete for EXPTIME
|
|
David Van Horn and Harry Mairson |
|
Efficient nondestructive equality checking for trees and graphs
|
|
Michael D. Adams and R. Kent Dybvig |
|
Experience Report: A Pure Shirt Fits Reflections on Haskell at Bluespec
|
Experience Report: Erlang in Acoustic Ray Tracing
|
|
Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell and Lutz Hamel |
|
Experience Report: Paradise: A two-stage DSL embedded in Haskell
|
|
Lennart Augustsson, Howard Mansell and Ganesh Sittampalam |
|
Experience Report: Playing the DSL Card, A Domain Specific Language for Component Configuration
|
Experience Report: Visualizing Data through Functional Pipelines
|
|
David Duke, Rita Borgo, Colin Runciman and Malcolm Wallace |
|
Flask: Have Your Curry and Eat It Too
|
|
Geoffrey Mainland, Greg Morrisett and Matt Welsh |
|
Flux: FunctionaL Updates for XML
|
FPH: First-class Polymorphism for Haskell
|
|
Dimitrios Vytiniotis, Stephanie Weirich and Simon Peyton Jones |
|
Functional Netlists
|
|
Sungwoo Park, Jinha Kim and Hyeonseung Im |
|
Functional Pearl: Streams and Unique Fixed Points
|
Functional Translation of a Calculus of Capabilities
|
|
Arthur Charguéraud and François Pottier |
|
Generic Discrimination---Sorting and Partitioning Unshared Data in Linear Time
|
Graphic Type Constraints and Efficient Type Inference : from ML to MLF
|
|
Boris Yakobowski and Didier Remy |
|
HMF: Simple type inference for first-class polymorphism
|
Implicitly-threaded parallelism in Manticore
|
|
Matthew Fluet, Mike Rainey, John Reppy and Adam Shaw |
|
Mixin' Up the ML Module System
|
|
Derek Dreyer and Andreas Rossberg |
|
NixOS: A Purely Functional Linux Distribution
|
|
Eelco Dolstra and Andres Löh |
|
Parametric Higher-Order Abstract Syntax for Mechanized Semantics
|
Pattern Minimization Problems over Recursive Data Types
|
Quotient Lenses
|
|
J. Nathan Foster, Alexandre Pilkiewicz and Benjamin C. Pierce |
|
Report on the Tenth ICFP Programming Contest
|
|
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Loeh, Clara Loeh, Arie Middelkoop, Alexey Rodriguez and John van Schie |
|
Space Profiling for Parallel Functional Programs
|
|
Daniel Spoonhower, Guy E. Blelloch, Robert Harper and Phillip B. Gibbons |
|
The Power of Pi
|
|
Nicolas Oury and Wouter Swierstra |
|
Transactional Events for ML
|
|
Laura Effinger-Dean, Matthew Kehrt and Dan Grossman |
|
Type Checking with Open Type Functions
|
|
Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty and Martin Sulzmann |
|
Typed Closure Conversion Preserves Observational Equivalence
|
|
Amal Ahmed and Matthias Blume |
|
Typed Iterators for XML
|
|
Giuseppe Castagna and Kim Nguyễn |
|
Write it Recursively: A Generic Framework for Optimal Path Queries
|
|
Akimasa Morihata, Kiminori Matsuzaki and Masato Takeichi |
|
Ynot: Reasoning with the Awkward Squad
|
|
Aleksandar Nanevski, Greg Morrisett, Avi Shinnar, Paul Govereau and Lars Birkedal |
|