Verified Functional Programming in Agda_1649649620096.pdf
cubical-agda_1649649620345.pdf
402429_1649649631746.pdf
The-Compiler-Design-Handbook_1649649642707.pdf
Learn Functional Programming with Elixir_1649649644515.pdf
Programming Elixir ≥ 1.6 Functional Concurrent Pragmatic Fun_1649649650435.pdf
The Garbage Collection Handbook The Art of Automatic Memory Management (Chapman HallCRC Applied Algorithms and Data Structures series) by Richard Jones Antony Hosking Eliot Moss (z-lib.org)_1649649662328.pdf
123_1649649662810.pdf
A_History_of_Haskell_1649649663004.pdf
Chris Allen & Julie Moronuki - Haskell Programming from First Principles_1649649663189.pdf
Generalising monads to arrows_1649649663336.pdf
HSoM_1649649663566.pdf
Haskell_Road_1649649663768.pdf
Idiom_1649649663903.pdf
Learn You a Haskell for Great Good! _1649649664463.pdf
What I Wish I Knew When Learning Haskell_1649649665193.pdf
Write_Yourself_a_Scheme_in_48_Hours_1649649665389.pdf
build-systems_1649649665616.pdf
haskell2010_1649649665835.pdf
house_1649649665913.pdf
real-world-haskell_1649649666065.pdf
type_inference_haskell_and_dt_1649649666311.pdf
IdrisDesignImplementation_1649649666441.pdf
Type-driven Development with Idris_1649649666718.pdf
elab-reflection_1649649667149.pdf
idris-tutorial_1649649667260.pdf
idris2_1649649667321.pdf
sf-idris-2018_1649649667370.pdf
Language and Mind_1649649667587.pdf
Common Lisp_1649649667996.pdf
ftypes_1649649668487.pdf
sicp_1649649668746.pdf
dependent-ml_1649649669132.pdf
okasaki_1649649669193.pdf
Programming Rust_1649649670165.pdf
Rust_Crash_Course_1649649671129.pdf
Understanding and Evolving the Rust Programming Language - RalfJung_1649649671433.pdf
wrj-thesis_1649649671608.pdf
2018-hott-intro-course_1649649671808.pdf
2019-summer-school_1649649672062.pdf
Advanced topics in types and programming languages_1649649672366.pdf
Benjamin_C._Pierce-Types_and_Programming_Languages-The_MIT_Press(2002)_1649649673050.pdf
DependentTypesAtWork_1649649673521.pdf
HoTT-UF-Agda_1649649673708.pdf
Homotopy-Type-Theory-Univalent-Foundations-of-Mathematics_1649649674190.pdf
Languages_as_Libraries_1649649674823.pdf
Type Theory and Formal Proof _1649649675289.pdf
Types and Programming Languages_1649649675780.pdf
cubicalmethods_1649649675894.pdf
gradual_type_theory_1649649675937.pdf
hott-intro_1649649676079.pdf
hott-online-1272-ga50f9bd_1649649676231.pdf
impldtp_1649649676393.pdf
practical_foundations_for_pl_1649649676549.pdf
propositions-as-types_1649649676610.pdf
quantitative-type-theory_1649649676736.pdf
ttfp_1649649676915.pdf
typesystems_1649649677002.pdf
notanum_1649649677023.pdf
Wearing_the_Hair_Shirt_A_Retrospective_on_Haskell_1649649665101.ppt