2233 search results - page 18 / 447 » Modular type classes |
APVIS
2001
15 years 1 months ago
2001
The Nord Modular music synthesiser system comprises a standalone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming...
105
click to vote
ITP
2010
15 years 1 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
113
click to vote
ACSC
2001
IEEE
15 years 3 months ago
2001
IEEE
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...
101
click to vote
WADT
2004
Springer
15 years 5 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
ISMB
1994
15 years 1 months ago
1994
Weconsider the problem of parsing a sequence into different classes of subsequences.Twocommonexamplesare finding the exons and introns in genomicsequences and identifying the seco...