3116 search results - page 197 / 624 » Positively dependent types |
122
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
137
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
123
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
150
click to vote
HAPTICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Limitations of state-of-the-art teleoperation systems can be compensated by using shared-control teleoperation architectures that provide haptic assistance to the human operator. T...
131
click to vote
AMC
2007
15 years 5 months ago
2007
Asian options have payoffs that depend on the average price of the underlying asset such as stocks, commodities, or financial indices. As exact closed-form formulas do not exist...