Sciweavers

3824 search results - page 235 / 765
» Geometry Constructions Language
Sort
View
FPLE
1995
15 years 8 months ago
Explaining Algebraic Theory with Functional Programs
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...
Jeroen Fokker
EUROPLOP
2006
15 years 5 months ago
Relationship Aspect Patterns
Relationships between objects are almost as important to designs as the objects themselves. Most programming languages do not support relationships well, so programmers must imple...
David J. Pearce, James Noble
DLOG
2003
15 years 5 months ago
From Lexicon To Mammographic Ontology: Experiences and Lessons
In this paper we describe our work on representing and constructing ontologies for breast mammography, which is part of planned set of comprehensive breast imaging and pathology o...
Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt
ICFP
2006
ACM
16 years 4 months ago
Context-parametric polykinded types
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
Pablo Nogueira
PLPV
2010
ACM
16 years 1 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross