|
Up
|
|
|
|
|
sigbovik/
|
— |
|
|
|
tom7/
|
— |
|
|
|
appcont.pdf
|
|
|
|
|
arrows.pdf
|
|
|
|
|
balland2006.pdf
|
|
|
|
|
call1cc.pdf
|
|
|
|
|
get-links
|
|
|
|
|
Hallgren: Fun with Functional Dependencies.pdf
|
|
|
|
|
haskell-history.pdf
|
|
|
|
|
HemannMuKanren2013.pdf
|
|
|
|
|
hoare-csp.pdf
|
|
|
|
|
Hughes: Why Functional Programming Matters.pdf
|
|
|
|
|
icfp2024.pdf
|
|
|
|
|
Informational Report For Non-expert Readers.pdf
|
|
|
|
|
Jean-Yves Girard: Locus Solum.pdf
|
|
|
|
|
Jones: Type Classes with Functional Dependencies.pdf
|
|
|
|
|
links.md
|
|
|
|
|
math-deep.pdf
|
|
|
|
|
McBride Paterson_ Applicative programming with effects.pdf
|
|
|
|
|
napkin.pdf
|
|
|
|
|
putting.pdf
|
|
|
|
|
sbcl-bootstrap.pdf
|
|
|
|
|
shannon1948.pdf
|
|
|
|
|
Sieve-JFP.pdf
|
|
|
|
|
sigbovix-2025.pdf
|
|
|
|
|
Softw Pract Exp - November 1981 - Knuth - Breaking paragraphs into lines.pdf
|
|
|
|
|
stack-safety-for-free.pdf
|
|
|
|
|
the-art-of-the-metaobject-protocol.pdf
|
|
|
|
|
therac25.pdf
|
|
|
|
|
typed-lambda-calculus-calculus-of-constructions.pdf
|
|
|
|
|
Vogelsgesang et al: Get Real: How Benchmarks Fail to Represent the Real world.pdf
|
|
|
|
|
xp-pretty-printer.pdf
|
|
|
|