/msc/10_infomepcs1/literature/

2 directories 28 files
Name Size Modified
ForSyDe-compiler
ForSyDe-vs-Lava
ASG-DSLs_Oliveira.pdf 513 KiB
ASG-DSLs_Oliveira_dk.pdf 2.5 MiB
Coquet.pdf 693 KiB
Coquet_dk.pdf 1.3 MiB
Fe-Si_Chlipala_Braibant.pdf 375 KiB
Fe-Si_Chlipala_Braibant_dk.pdf 1.4 MiB
ForSyDe_CaseStudy.pdf 97 KiB
ForSyDe_CaseStudy_dk.pdf 1.3 MiB
hardware-fp-match_MarySheeran.pdf 358 KiB
hardware-fp-match_MarySheeran_dk.pdf 2.0 MiB
Hardware_EDSL_Design_Space.pdf 1.3 MiB
Hardware_EDSL_Design_Space_dk.pdf 350 KiB
Hinze_Algebra_of_Scans.pdf 1.8 MiB
Hughes-pretty-printing-library.pdf 356 KiB
Hughes-pretty-printing-library_dk.pdf 5.6 MiB
Lava.pdf 1.1 MiB
Lava_dk.pdf 2.0 MiB
Observable Sharing for Functional Circuit Description.pdf 241 KiB
Observable Sharing for Functional Circuit Description_dk.pdf 1.7 MiB
PFC_ALFONSO_ACOSTA_GOMEZ.pdf 1.5 MiB
PHOAS_Chlipala.pdf 263 KiB
PHOAS_Chlipala_dk.pdf 3.5 MiB
Productivity-Agda_Danielsson.pdf 275 KiB
Productivity-Agda_Danielsson_dk.pdf 2.2 MiB
Type Safe Observable Sharing.pdf 463 KiB
Type Safe Observable Sharing_dk.pdf 2.4 MiB
Wired.pdf 242 KiB
Wired_dk.pdf 1.2 MiB