230 search results - page 2 / 46 » Automation for Dependently Typed Functional Programming |
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
CSL
2000
Springer
13 years 9 months ago
2000
Springer
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
PRICAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
ICFP
2009
ACM
14 years 5 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
CSL
2000
Springer
13 years 9 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...