A Concurrent ML Library in Concurrent Haskell
|
A Functional I/O System, Or, Fun for Freshman Kids
|
|
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi |
|
A Theory of Typed Coercions and its Applications
|
|
Nikhil Swamy, Michael Hicks and Gavin Bierman |
|
A Universe of Binding and Computation
|
|
Daniel Licata and Robert Harper |
|
Attribute Grammars Fly First-Class: How to do aspect oriented programming in Haskell
|
|
Marcos Viera, S. Doaitse Swierstra and Wouter S. Swierstra |
|
Automatically RESTful Web Applications Or, Marking Modular Serializable Continuations
|
Beautiful differentiation
|
Biorthogonality, Step-Indexing and Compiler Correctness
|
|
Nick Benton and Chung-Kil Hur |
|
Causal Commutative Arrows and Their Optimization
|
|
Hai Liu, Eric Cheng and Paul Hudak |
|
Complete and Decidable Type Inference for GADTs
|
|
Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann and Dimitrios Vytiniotis |
|
Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation
|
|
Jan Midtgaard and Thomas P. Jensen |
|
Effective Interactive Proofs for Higher-Order Imperative Programs
|
|
Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar and Ryan Wisnesky |
|
Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL
|
|
Ryan Newton and Teresa Ko |
|
Experience Report: Haskell in the RealWorld
|
Experience Report: OCaml for an industrial-strength static analysis framework
|
|
Pascal Cuoq and Julien Signoles |
|
Experience Report: Ocsigen, a Web Programming Framework
|
|
Vincent Balat, Jérôme Vouillon and Boris Yakobowski |
|
Experience Report: seL4 -- Formally Verifying a High-Performance Microkernel
|
|
Gerwin Klein, Philip Derrin and Kevin Elphinstone |
|
Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework
|
|
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury and Jean-Louis Colaco |
|
Finding Race Conditions in Erlang with QuickCheck and PULSE
|
|
Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts and Ulf Wiger |
|
Free Theorems Involving Type Constructor Classes
|
Generic programming with fixed points for mutually recursive datatypes
|
|
Alexey Rodriguez, Stefan Holdermans, Andres Löh and Johan Jeuring |
|
Identifying Query Incompatibilities with Evolving XML Schemas
|
|
Pierre Geneves, Nabil Layaida and Vincent Quint |
|
Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform
|
|
Tiark Rompf, Ingo Maier and Martin Odersky |
|
La Tour D'Hanoï
|
Non-Parametric Parametricity
|
|
Georg Neis, Derek Dreyer and Andreas Rossberg |
|
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons
|
|
Thomas Gazagnaire and Vincent Hanquez |
|
Parallel Concurrent ML
|
|
John Reppy, Claudio Russo and Yingqi Xiao |
|
Partial Memoization of Concurrency and Communication
|
|
Lukasz Ziarek, KC Sivaramakrishnan and Suresh Jagannathan |
|
Purely Functional Lazy Non-deterministic Programming
|
|
Sebastian Fischer, Oleg Kiselyov and Chung-chieh Shan |
|
Runtime Support for Multicore Haskell
|
|
Simon Marlow, Simon Peyton Jones and Satnam Singh |
|
Safe Functional Reactive Programming through Dependent Types
|
|
Neil Sculthorpe and Henrik Nilsson |
|
Scribble: Closing the Book on Ad Hoc Documentation Tools
|
|
Matthew Flatt, Eli Barzilay and Robert Bruce Findler |
|
