3 search results - page 1 / 1 » Es: A shell with higher-order functions |
58
Voted
USENIX
1993
14 years 10 months ago
1993
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
101
click to vote
TPHOL
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...