larskotthoff/recomputation-ss-paper

Repository for the paper produced by students at the recomputation summer school https://blogs.cs.st-andrews.ac.uk/emcsr2014/

语言：TeX · GitHub 星标：3 · Fork：3

在 GitHub 上查看原仓库