![]() ![]() I am not a number - I am a free variable - Conor McBride and James McKinna.Global variables in Haskell - John Hughes.Implicit configurations-or and type classes reflect the values of types - Oleg Kiselyov and Chung-chieh Shan.Functional satisfaction - Luc Maranget.Calculating the Sieve of Eratosthenes - Lambert Meertens.Enumerating the strings of regular languages - M.Backtracking, interleaving and and terminating monad transformers - Oleg Kiselyov, Chung-chieh Shan, Daniel P.Finding celebrities: A lesson in functional programming - Richard Bird and Sharon Curtis.Strong Types for Relational Databases - Alexandra Silva and Joost Visser.Probabilistic functional programming in Haskell - Martin Erwig and Steve Kollmansberger.( slides an implementation in Literate Haskell by Graham Hutton.) A program to solve Sudoku Richard Bird.Enumerating the rationals - Jeremy Gibbons, David Lester and Richard Bird.Applicative Programming with Effects - Conor McBride and Ross Paterson.A type-correct, stack-safe and provably correct expression compiler in Epigram - James McKinna and Joel Wright.Functional Pearl: The Great Escape: Or how to jump the border without getting caught - David Herman.Clowns to the Left of me and Jokers to the Right: Dissecting Data Structures: Conor McBride.Much Ado about Two: A Pearl on Parallel Prefix Computation - Janis Voigtländer.Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time - Fritz Henglein.Functional Pearl: Streams and Unique Fixed Points - Ralf Hinze.Functional Pearl: Data Types A La Carte - Wouter Swierstra.A Domain-Specific Language for Experimental Game Theory - Eric Walkingshaw and Martin Erwig.Bidirectionalization for Free! - Janis Voigtländer.Linear, Bounded and Functional Pretty-Printing - S.Free Theorems Involving Type Constructor Classes - Janis Voigtländer.A Play on Regular Expressions - Sebastian Fischer.Every Bit Counts - Dimitrios Vytiniotis and Andrew Kennedy.Typed Quote/Antiquote - Or: Compile-time Parsing - Ralf Hinze.Verifying the Problem of the Dutch National Flag in Agda - Wouter Swierstra. The Hough transform - Maarten Fokkinga.Monoids: Theme and Variations - Brent Yorgey.When Maybe is not good enough - Michael Spivey. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |