360 search results - page 24 / 72 » Dependently Typed Programming in Agda |
169
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
142
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
123
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
180
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
192
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...