2777 search results - page 331 / 556 » Example centric programming |
120
click to vote
APAL
2008
15 years 3 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
AUTOMATICA
2008
15 years 3 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
110
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...
122
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
128
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...