/msc/thesis/reading/

0 directories 87 files
Name Size Modified
Agda_tutorial.pdf 73 B
Agda_tutorial_dk.pdf 76 B
ASG-DSLs_Oliveira.pdf 52 B
ASG-DSLs_Oliveira_dk.pdf 55 B
auto-in-agda_PepijnWouter.pdf 302 KiB
auto-in-agda_PepijnWouter_dk.pdf 2.4 MiB
backus-fp.pdf 856 KiB
backus-fp_dk.pdf 2.2 MiB
backus-turing-lecture.pdf 2.9 MiB
backus-turing-lecture_dk.pdf 7.5 MiB
certifying-circuits-cic.pdf 260 KiB
ChalmersFPDay.pdf 117 KiB
clash_Baaij.pdf 352 KiB
clash_Baaij_dk.pdf 1.9 MiB
coinductive-inductive-termination.pdf 104 KiB
coinductive-inductive-termination_dk.pdf 583 KiB
Compiler-Correctness-Structured-Graphs_Bahr.pdf 89 B
Compiler-Correctness-Structured-Graphs_Bahr_dk.pdf 92 B
constructing-correct-circuits_Brady.pdf 153 KiB
constructing-correct-circuits_Brady_dk.pdf 1.4 MiB
Constructive_programming.pdf 53 B
Coquet_Hardware_in_Coq.pdf 50 B
Coquet_Hardware_in_Coq_dk.pdf 53 B
correct-agda-pretty-printing_Danielsson.pdf 517 KiB
correct-agda-pretty-printing_Danielsson_dk.pdf 2.6 MiB
dark-silicon-end-multicore.pdf 4.6 MiB
dark-silicon-end-multicore_dk.pdf 2.7 MiB
engineering-reflection-agda_Swierstra.pdf 177 KiB
engineering-reflection-agda_Swierstra_dk.pdf 2.0 MiB
enumeration-algebraic-types_Feat.pdf 572 KiB
enumeration-algebraic-types_Feat_dk.pdf 3.0 MiB
essence-dataflow-programming_TarmoUustalu.pdf 497 KiB
essence-dataflow-programming_TarmoUustalu_dk.pdf 1.7 MiB
Fe-Si_Chlipala_Braibant.pdf 58 B
Fe-Si_Chlipala_Braibant_dk.pdf 61 B
functional-hardware-survey.pdf 42 B
functional-hardware-survey_dk.pdf 45 B
gp-and-dtp_McBride.pdf 372 KiB
gp-and-dtp_McBride_dk.pdf 4.9 MiB
grant-proposal-nwo.pdf 34 B
grant-proposal-nwo_dk.pdf 37 B
hardware-fp-match_MarySheeran.pdf 64 B
hardware-fp-match_MarySheeran_dk.pdf 67 B
hawk_Launchbury.pdf 1.2 MiB
hawk_Launchbury_dk.pdf 2.4 MiB
introduction-to-coalgebra_BartJacobs.pdf 2.6 MiB
introduction-to-coalgebra_BartJacobs_dk.pdf 42 MiB
LambdaPi.pdf 48 B
LambdaPi_dk.pdf 51 B
lava-1999.pdf 39 B
lava-1999_dk.pdf 42 B
mufp-1984_MarySheeran.pdf 516 KiB
NamesForFree_Bernardy.pdf 227 KiB
NamesForFree_Bernardy_dk.pdf 2.9 MiB
observable-sharing-circuits.pdf 88 B
observable-sharing-circuits_dk.pdf 91 B
observational-equality_Althenkirch-Swierstra.pdf 293 KiB
observational-equality_Althenkirch-Swierstra_dk.pdf 2.7 MiB
PHOAS_Chlipala.pdf 49 B
PHOAS_Chlipala_dk.pdf 52 B
power-of-pi_Swierstra.pdf 50 B
power-of-pi_Swierstra_dk.pdf 53 B
Productivity-Agda_Danielsson.pdf 63 B
Productivity-Agda_Danielsson_dk.pdf 66 B
propositions-as-types_Wadler.pdf 270 KiB
propositions-as-types_Wadler_dk.pdf 2.5 MiB
Structured-Graphs_Oliveira_Cook.pdf 457 KiB
Structured-Graphs_Oliveira_Cook_dk.pdf 2.9 MiB
survey-fp-circuits_Gammie.pdf 424 KiB
survey-fp-circuits_Gammie_dk.pdf 4.7 MiB
true-sums-of-products_Loeh.pdf 227 KiB
true-sums-of-products_Loeh_dk.pdf 2.9 MiB
typeclasses-agda_Devriese.pdf 268 KiB
typeclasses-agda_Devriese_dk.pdf 3.5 MiB
typed-stack-safe-compiler.pdf 87 B
typed-stack-safe-compiler_dk.pdf 90 B
typesafe-asts_Baars_Swierstra.pdf 587 KiB
typesafe-asts_Baars_Swierstra_dk.pdf 2.6 MiB
typesafe-observable-sharing.pdf 70 B
typesafe-observable-sharing_dk.pdf 73 B
typesafe-self-inspecting-code.pdf 348 KiB
understanding-types_Cardelli.pdf 57 B
understanding-types_Cardelli_dk.pdf 60 B
vhdl-synth-packs-standard_IEEE1076-3.pdf 387 KiB
vhdl-synth-packs-standard_IEEE1076-3_dk.pdf 4.4 MiB
view-from-the-left_McBride-McKinna.pdf 492 KiB
view-from-the-left_McBride-McKinna_dk.pdf 5.6 MiB