479 search results - page 8 / 96 » Simple Modules for GRACE |
151
click to vote
POPL
2003
ACM
15 years 12 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
146
Voted
TLDI
2010
ACM
15 years 8 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
187
click to vote
PADL
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
CGVR
2006
15 years 1 months ago
2006
: This paper presents a 3D scene modeling method for a Simple and Effective 3D Navigation (SE3DN) system, with 2D map guidance and multimedia information. SE3DN constructs 3D model...