8021 search results - page 22 / 1605 » A Type System for Tom |
AIM
2006
13 years 9 months ago
2006
: The research field Computer-Supported Cooperative Work (CSCW) is concerned with understanding social interaction and the design, development, and evaluation of technical systems ...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...