Folder Path

/msc/10_infomepcs1/literature/

2 directories 28 files
List Grid
Name
Size Modified
Up
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