2233 search results - page 66 / 447 » Modular type classes |
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter typ...
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
ACL
1997
15 years 1 months ago
1997
This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to ...
BMCBI
2007
2007
Application of amino acid occurrence for discriminating different folding types of globular proteins
14 years 12 months ago
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...
193
click to vote
PLDI
2009
ACM
16 years 16 days ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...