65 search results - page 7 / 13 » Generic Haskell: Practice and Theory |
MPC
1998
Springer
15 years 1 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
85
Voted
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotichanism is based on an abstract preference based argumentation fr...
104
click to vote
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
—Localizability of network or node is an important subproblem in sensor localization. While rigidity theory plays an important role in identifying several localizability conditio...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...