/msc/08_infodtp/my-paper-presentation/

2 directories 4 files
Name Size Modified
coquet-sources-0.3
slides
coquet-sources-0.3.tar.gz 42 KiB
coquet-talk-chocola-2011.pdf 519 KiB
Coquet_Hardware_in_Coq.pdf 693 KiB
typeclassestut.pdf 475 KiB