4211 search results - page 39 / 843 » Types as Abstract Interpretations |
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
102
click to vote
SAIG
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When ...
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
182
click to vote
ICFP
2009
ACM
16 years 14 days ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...