3815 search results - page 33 / 763 » An Implementation of Session Types |
HPCC
2010
Springer
2010
Springer
Implementation and Evaluation of a NAT-Gateway for the General Internet Signaling Transport Protocol
13 years 5 months ago
The IETF's Next Steps in Signaling (NSIS) framework provides an up-to-date signaling protocol suite that can be used to dynamically install, maintain, and manipulate state in ...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
ENTCS
2008
13 years 8 months ago
2008
The current paper presents a novel approach to implement a graph transformation engine as an EJB3-specific plugin by using EJB QL queries for pattern matching. The essence of the ...
GEOINFO
2004
13 years 9 months ago
2004
ceptual, or abstract level, a value of type moving point (type mpoint, for short) is a function from time into point values, and a moving region (mregion) value is a function from ...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...