bibliographer - John Hughes

bibliographer a curated TCS bibliography

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

The Little Haskeller Cordelia Hall John Hughes [github]

Beginner's Luck: A Language for Property-based Generators Leonidas Lampropoulos Diane Gallois-Wong Cătălin Hriţcu John Hughes Benjamin C. Pierce Li-yao Xia [github]

Testing an Optimising Compiler by Generating Random Lambda Terms Michał H. Pałka Koen Claessen Alejandro Russo John Hughes [github]

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher Koen Claessen Michał Pałka John Hughes Robert Bruce Findler [github]

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

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes [github]

Strictness Detection in Non-flat Domains John Hughes [github]

Generalising monads to arrows John Hughes [github]

How functional programming mattered Zhenjiang Hu John Hughes Meng Wang [github]

Proving the correctness of reactive systems using sized types John Hughes Lars Pareto Amr Sabry [github]

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

[show logs] [hide logs]