3 search results - page 1 / 1 » Es: A shell with higher-order functions |
USENIX
1993
13 years 7 months ago
1993
APLAS
2004
ACM
13 years 11 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 ...
TPHOL
1999
IEEE
13 years 10 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...