7681 search results - page 30 / 1537 » Typed Membrane Systems |
TCS
2008
13 years 8 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— This paper proposes techniques to fabricate synthetic gecko foot-hairs for future wall-climbing robots, and models for understanding the synthetic hair design issues. Two nanom...
JCNS
2000
13 years 8 months ago
2000
The dynamics of networks of sparsely connected excitatory and inhibitory integrate-and-fire neurons are studied analytically. The analysis reveals a rich repertoire of states, incl...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...