2233 search results - page 127 / 447 » Modular type classes |
132
click to vote
AUTOMATICA
2000
15 years 4 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 ...
150
Voted
SAC
2004
ACM
15 years 10 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...
171
click to vote
FLOPS
2010
Springer
15 years 11 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 ...
145
Voted
TPHOL
1995
IEEE
15 years 8 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...
132
click to vote
EACL
1993
ACL Anthology
15 years 6 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...