2740 search results - page 46 / 548 » Typing the Specialization Interface |
103
click to vote
CORR
2006
Springer
15 years 24 days ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
113
click to vote
AFP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
108
Voted
CORR
2002
Springer
15 years 17 days ago
2002
Springer
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...
106
Voted
ICFP
2002
ACM
16 years 22 days ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
101
Voted
BMCBI
2010
15 years 27 days ago
2010
Background: Type III secretion system (T3SS) is a specialized protein delivery system in gramnegative bacteria that injects proteins (called effectors) directly into the eukaryoti...