2016 search results - page 259 / 404 » Megamaps: Construction and Examples |
119
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
129
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
114
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
127
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we argue that “persuasive technologies,” developed to motivate behaviour change in users, have so far failed to exploit the established body of empirical researc...
123
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...