Trends in Types and Programming Languages

Last changed on March 22, 2022

Publikationen

  1. Theorems for free!

  2. Parallel Programming, List Homomorphisms and the Maximum Segment Sum Problem

  3. Imperative functional programming

  4. Monadic Parsing in Haskell

  5. Testing monadic code with QuickCheck

  6. Scrap your boilerplate: a practical design pattern for generic programming

  7. Probabilistic functional programming in Haskell

  8. Applicative programming with effects

  9. Data types à la carte

  10. Testing Polymorphic Properties

  11. A Play on Regular Expressions

  12. Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing

  13. Yield: Mainstream Delimited Continuations

  14. Folding domain-specific languages: deep and shallow embeddings

  15. Capturing the future by replaying the past