564 search results - page 5 / 113 » Dependent types and program equivalence |
ER
2009
Springer
14 years 2 months ago
2009
Springer
FUIN
2010
13 years 5 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
ICFP
2009
ACM
14 years 8 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...