1835 search results - page 141 / 367 » Functional Programming of Behavior-Based Systems |
137
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
135
Voted
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
166
click to vote
CADE
1990
Springer
15 years 9 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
152
Voted
SCP
2002
15 years 4 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
134
click to vote
TCS
2002
15 years 4 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...