770 search results - page 57 / 154 » Dinatural Terms in System F |
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
SIGMETRICS
2009
ACM
15 years 4 months ago
2009
ACM
A common practice in system design is to treat features intended to enhance performance and reliability as low priority tasks by scheduling them during idle periods, with the goal...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
In an experiment with a soccer playing robot, periodic temporally-constrained nonlinear principal component neural networks (NLPCNNs) are shown to characterize humanoid motion eff...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Crosscutting concerns can hinder maintainability of a design because they do not adhere to a system's underlying modular structure. Developers, therefore, may wish to refacto...