Folder Path

/Documents/papers/

2 directories 30 files 82 MiB total
List Grid
Name
Size Modified
Up
sigbovik/ —
tom7/ —
appcont.pdf
96 KiB
arrows.pdf
279 KiB
balland2006.pdf
295 KiB
call1cc.pdf
180 KiB
get-links
40 B
Hallgren: Fun with Functional Dependencies.pdf
140 KiB
haskell-history.pdf
984 KiB
HemannMuKanren2013.pdf
270 KiB
hoare-csp.pdf
1.2 MiB
Hughes: Why Functional Programming Matters.pdf
195 KiB
icfp2024.pdf
195 KiB
Informational Report For Non-expert Readers.pdf
475 KiB
Jean-Yves Girard: Locus Solum.pdf
2.2 MiB
Jones: Type Classes with Functional Dependencies.pdf
182 KiB
links.md
206 B
math-deep.pdf
23 MiB
McBride Paterson_ Applicative programming with effects.pdf
197 KiB
napkin.pdf
6.0 MiB
putting.pdf
633 KiB
sbcl-bootstrap.pdf
172 KiB
shannon1948.pdf
360 KiB
Sieve-JFP.pdf
217 KiB
sigbovix-2025.pdf
30 MiB
Softw Pract Exp - November 1981 - Knuth - Breaking paragraphs into lines.pdf
4.6 MiB
stack-safety-for-free.pdf
306 KiB
the-art-of-the-metaobject-protocol.pdf
738 KiB
therac25.pdf
4.6 MiB
typed-lambda-calculus-calculus-of-constructions.pdf
510 KiB
Vogelsgesang et al: Get Real: How Benchmarks Fail to Represent the Real world.pdf
575 KiB
xp-pretty-printer.pdf
2.5 MiB