1636 search results - page 198 / 328 » Type-Theoretic Functional Semantics |
140
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
108
click to vote
IRI
2005
IEEE
15 years 9 months ago
2005
IEEE
Sharing and reusing product design information can help reduce cost and time when developing new products and facilitate good product family design. An appropriate representation ...
120
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
123
click to vote
WMCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the adaptive component migration facility in the Bifrost Location-Independent Computing System. We present a facility that allows mobile clients to selectivel...
125
click to vote
ATAL
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, an agent architecture is proposed that can be used to integrate pre-existing components that provide the domain dependent agent functionality. The key integrating fe...