13734 search results - page 111 / 2747 » Abstractions of data types |
UC
2009
Springer
14 years 3 months ago
2009
Springer
Geometrical Computation and Computable Analysis J´erˆome Durand-Lose⋆ Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P. 6759, F-45067 OR...
CACM
1999
13 years 8 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. Kummer type formulas are identities of hypergeometric series. A symmetry by the permutations of n-letters yields these formulas. We will present an algorithmic method to ...
ECEASST
2008
13 years 9 months ago
2008
Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of type...
PADL
2010
Springer
14 years 5 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...