2233 search results - page 127 / 447 » Modular type classes |
112
click to vote
AUTOMATICA
2000
15 years 2 months ago
2000
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
128
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
148
Voted
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
124
click to vote
TPHOL
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
110
click to vote
EACL
1993
ACL Anthology
15 years 3 months ago
1993
ACL Anthology
A new class of formal languages will be defined the Distributed Index Languages (DI-languages). The grammar-formalism generating the new class - the DI-grammars - cover unbound de...