234 search results - page 24 / 47 » Ruler: Programming Type Rules |
LOPSTR
2005
Springer
14 years 1 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
AISC
2006
Springer
13 years 11 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
FLAIRS
2006
13 years 9 months ago
2006
We are developing systems which play music on synthesized plucked strings instruments idiomatically. The present paper introduces a system focusing on the acoustic guitar. The sys...
FPCA
1995
13 years 11 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...