/msc/11_infomtpt/papers/

0 directories 39 files
Name Size Modified
abstract-refinement-types_Jhala.pdf 287 KiB
abstract-refinement-types_Jhala_dk.pdf 2.6 MiB
accelerate-agda_Thiemann.pdf 238 KiB
accelerate-agda_Thiemann_dk.pdf 2.0 MiB
bananas-lenses_Meijer.pdf 260 KiB
bananas-lenses_Meijer_dk.pdf 1.7 MiB
combining-proofs-programs_Vilhelm.pdf 343 KiB
combining-proofs-programs_Vilhelm_dk.pdf 3.3 MiB
contracts-higher-order_Felleisen.pdf 156 KiB
contracts-higher-order_Felleisen_dk.pdf 3.0 MiB
dependently-type-metaprogramming_Brady.pdf 143 KiB
dependently-type-metaprogramming_Brady_dk.pdf 1.6 MiB
DT-Client-Webapps.pdf 397 KiB
DT-Client-Webapps_dk.pdf 1.7 MiB
DT-Secure-Web-Programming_EdwinBrady.pdf 191 KiB
DT-Secure-Web-Programming_EdwinBrady_dk.pdf 2.7 MiB
generic-type-and-effect-system_Millstein.pdf 215 KiB
generic-type-and-effect-system_Millstein_dk.pdf 3.2 MiB
lazy-natural-semantics_Launchbury.pdf 968 KiB
lazy-natural-semantics_Launchbury_dk.pdf 2.2 MiB
norell-tutorial.pdf 281 KiB
norell-tutorial_dk.pdf 2.6 MiB
operation-semantics-monad_Danielsson.pdf 263 KiB
operation-semantics-monad_Danielsson_dk.pdf 2.9 MiB
origami-programming_Gibbons.pdf 608 KiB
origami-programming_Gibbons_dk.pdf 2.0 MiB
power-of-pi_Swierstra.pdf 237 KiB
power-of-pi_Swierstra_dk.pdf 3.0 MiB
proving-by-structural-induction_Burstall.pdf 707 KiB
the-next-700_Landin.pdf 1.1 MiB
the-next-700_Landin_dk.pdf 2.7 MiB
theorems-for-free_wadler.pdf 215 KiB
theorems-for-free_wadler_dk.pdf 2.4 MiB
understanding-types_Cardelli.pdf 161 KiB
understanding-types_Cardelli_dk.pdf 5.6 MiB
uniqueness-typing-simplified_DeVries.pdf 212 KiB
uniqueness-typing-simplified_DeVries_dk.pdf 2.4 MiB
when-fold-unfold_Gibbons.pdf 216 KiB
when-fold-unfold_Gibbons_dk.pdf 1.0 MiB