95 search results - page 3 / 19 » CIA Structures and the Semantics of Recursion |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
APLAS
2005
ACM
13 years 11 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 ...
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...
JSAI
2007
Springer
13 years 12 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...