4087 search results - page 107 / 818 » Sets in Types, Types in Sets |
HASKELL
2006
ACM
14 years 2 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
DNA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
DNA
2009
Springer
14 years 26 days ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...