Sciweavers

1368 search results - page 5 / 274
» Recursive modules for programming
Sort
View

Book
301views
15 years 5 months ago
Programming in Standard ML
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
Robert Harper
CORR
2006
Springer
84views Education» more  CORR 2006»
13 years 7 months ago
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules
We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associate...
Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
DBA
2006
173views Database» more  DBA 2006»
13 years 9 months ago
Object-Oriented Programming with Recursive Queries
: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...
Tomasz Pieciukiewicz, Krzysztof Stencel, Kazimierz...
POPL
2005
ACM
14 years 8 months ago
A bisimulation for type abstraction and recursion
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
Eijiro Sumii, Benjamin C. Pierce
LCPC
2000
Springer
13 years 11 months ago
Recursion Unrolling for Divide and Conquer Programs
This paper presents recursion unrolling, a technique for improving the performance of recursive computations. Conceptually, recursion unrolling inlines recursive calls to reduce c...
Radu Rugina, Martin C. Rinard