Type-Checked Message-Passing Between Functional Processes (1994)
by
Malcolm Wallace
,
Colin Runciman
| Citations: | 3 - 0 self |
BibTeX
@MISC{Wallace94type-checkedmessage-passing,
author = {Malcolm Wallace and Colin Runciman},
title = {Type-Checked Message-Passing Between Functional Processes},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes the use of constructor classes [Jones93] to improve the static type-checking model, with applications to Embedded Gofer [Wallace&Runciman94]. Keywords:
