203 search results - page 1 / 41 » A New Notation for Arrows |
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
JFP
2010
13 years 3 months ago
2010
We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notatio...
DIAGRAMS
2000
Springer
13 years 9 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
IEEEIAS
2007
IEEE
13 years 11 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...