7943 search results - page 93 / 1589 » A calculus for costed computations |
151
click to vote
IJCAI
2001
15 years 7 months ago
2001
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
224
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
164
click to vote
TLCA
2007
Springer
16 years 12 days ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
155
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
153
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...