5451 search results - page 194 / 1091 » Typed Operational Semantics |
140
Voted
SFP
2001
15 years 5 months ago
2001
: It is well known that type constructors of incomplete trees (trees with variables) carry the structure of a monad with substitution as the extension operation. Less known are the...
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
124
click to vote
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
151
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
120
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...