Folder Path

/msc/thesis/reading/

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