bibliographer - Simon Peyton Jones

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Linear Haskell: practical linearity in a higher-order polymorphic language Jean-Philippe Bernardy Mathieu Boespflug Ryan R. Newton Simon Peyton Jones Arnaud Spiwack [github]

Haskell 98 Language and Libraries -The Revised Report Simon Peyton Jones [github]

Composing Contracts: An Adventure in Financial Engineering (Functional Pearl) Simon Peyton Jones Jean-Marc Eber Julian Seward [github]

A History of Haskell: Being Lazy with Class Paul Hudak John Hughes Simon Peyton Jones Philip Wadler [github]

Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming Ralf Lammel Simon Peyton Jones [github]

Safe haskell David Terei Simon Marlow Simon Peyton Jones David Mazières [github]

Modular, higher-order cardinality analysis in theory and practice Ilya Sergey Dimitrios Vytiniotis Simon Peyton Jones [github]

Refinement types for Haskell Niki Vazou Eric L. Seidel Ranjit Jhala Dimitrios Vytiniotis Simon Peyton-Jones [github]

Levity polymorphism Richard A. Eisenberg Simon Peyton Jones [github]

Linear Haskell: practical linearity in a higher-order polymorphic language Jean-Philippe Bernardy Mathieu Boespflug Ryan R. Newton Simon Peyton Jones Arnaud Spiwack [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]