1071 search results - page 59 / 215 » The Calculus of Algebraic Constructions |
270
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
154
click to vote
FPLE
1995
15 years 9 months ago
1995
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
162
click to vote
ENTCS
2008
15 years 6 months ago
2008
Several different uses of Newton's method in connection with the Fundamental Theorem of Algebra are pointed out. Theoretical subdivision schemes have been combined with the n...
146
click to vote
AMC
2005
15 years 6 months ago
2005
A constructive algorithm for the completion of arbitrary algebraic partial differential equation systems to involutive ones are presented. Based on it, an implementation ICS for c...
165
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...