Folder Path

/msc/thesis/reading/

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