dotnet-generics-implementation_1648002674294.pdf
algebraic-effects-and-handlers_1648002674353.pdf
algebraic-effects-dependend-types-idris_1648002674410.pdf
ghc-core_1648002674486.pdf
CompilingML.cardelli_1648002674558.pdf
scala-overview_1648002674636.pdf
minicaml-compiler-implementation_1648002674687.pdf
1ml-true-first-class-modules-in-ml_1648002674792.pdf
first-class-modules-for-haskell_1648002674886.pdf
harper–lillibridge–leroy-module-system_1648002674950.pdf
haskell98_module_sys_formal_semantics_1648002675043.pdf
higher-order-modules-phase-distinction_1648002675309.pdf
manifest-types-modules-separate-compilation_1648002675477.pdf
modular-implicits-ocaml_1648002675559.pdf
modular-module-system-leroy_1648002675615.pdf
modules-standard-ml-macqueen_1648002675682.pdf
type-classes-in-ml-style-module-system_1648002675811.pdf
type-system-higher-order-modules_1648002675883.pdf
fsharp-computation-exps_1648002675939.pdf
haskell-backpack-2016_1648002675985.pdf
haskell-packages-without-dep-hell_1648002676027.pdf
LayoutParsing_1648002676101.pdf
decision-trees_1648002676134.pdf
extensible-matching-fsharp-dsyme_1648002676192.pdf
generalized-matching-scott-ramsey_1648002676317.pdf
optimizing-pattern-matching_1648002676792.pdf
racket-match-samth_1648002677381.pdf
static-analysis-expressive-matching_1648002677435.pdf
tree-pattern-matching-ml-macqueen_1648002677476.pdf
os-in-rust_1648002677565.pdf
rust-for-gc-implementation_1648002677644.pdf
implementing-type-classes_1648002677703.pdf
mpjones-constructor-classes-93_1648002677739.pdf
second-look-overloading-wadler_1648002678116.pdf
type-classes-in-haskell-spj-wadler_1648002678705.pdf
haskell-interfaces-spj-popl-2014_1648002678820.pdf
popl97-first-class-polymorphism_w_type_inference_1648002678987.pdf
practicaly-type-inference-arbitrary-rank-types_1648002679220.pdf
system-fc-ghc_1648002679377.pdf
type-inference-for-first-class-polymorphism_1648002679633.pdf
slides_1648002679796.pdf