4211 search results - page 12 / 843 » Types as Abstract Interpretations |
164
click to vote
POPL
2009
ACM
16 years 12 days ago
2009
ACM
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
106
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
100
click to vote
AFP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
63
Voted
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
PHOENIX
1991
15 years 3 months ago
1991
