[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - From parametricity to conservation laws, via Noether's theorem
Atkey, RobertYear:
2014
Language:
english
DOI:
10.1145/2535838.2535867
File:
PDF, 594 KB
english, 2014