Efficient parallel programming in Poly/ML and Isabelle/ML release_zh2fs6336rds7bkc4jomwfznpq

by David C.J. Matthews, Makarius Wenzel

Published in ACM-SIGACT Symposium on Principles of Programming Languages by ACM Press.

2010   p53-62

Archived Files and Locations

application/pdf  184.4 kB
file_exbe3njvxvgwnp3gklssi45dw4
web.archive.org (webarchive)
www4.in.tum.de (web)
application/pdf  196.8 kB
file_ialw36zkvzci7hhcpknat2ftg4
web.archive.org (webarchive)
www4.in.tum.de (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2010
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6820aaad-5389-4a04-a2fa-3ed29fb43492
API URL: JSON