267 search results - page 35 / 54 » Formal Parametric Polymorphism |
RECOMB
2000
Springer
15 years 5 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
AAAI
1997
15 years 3 months ago
1997
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
125
click to vote
TLDI
2010
ACM
15 years 10 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...
JLP
2008
15 years 1 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
228
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...