@inproceedings{d45f7a72a4fb432cb3ca4ac012c21b56,
title = "Extending Camelot with Mutable State and Concurrency",
abstract = "Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language support for Camelot-level threads which are compiled to native Java threads. We extend the existing Camelot resource-bounded type system to provide safety guarantees about the heap usage of Camelot threads.",
author = "Stephen Gilmore",
year = "2004",
doi = "10.1007/978-3-540-24688-6_42",
language = "English",
isbn = "978-3-540-22116-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "306--313",
editor = "Marian Bubak and Albada, {Geert Dick} and Sloot, {Peter M. A.} and Jack Dongarra",
booktitle = "Computational Science - ICCS 2004",
address = "United Kingdom",
}