596 search results - page 104 / 120 » Subtyping Recursive Types |
COLT
1989
Springer
15 years 3 months ago
1989
Springer
The present paper considers the effects of introducing inaccuracies in a learner’s environment in Gold’s learning model of identification in the limit. Three kinds of inaccu...
ISTA
2004
15 years 1 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
USENIX
1993
15 years 1 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
CADE
2010
Springer
15 years 24 days ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
114
click to vote
ICFP
2010
ACM
14 years 12 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...