Folder Path

/msc/11_infomtpt/papers/

0 directories 39 files 56 MiB total
List Grid
Name
Size Modified
Up
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