131 search results - page 8 / 27 » types 1993 |
100
Voted
CHI
1993
ACM
15 years 4 months ago
1993
ACM
Gestures are a powerful way to specify both objects and operations with a single mark of a stylus or mouse. We have extended an existing user interface toolkit to support gestures...
HOPL
1993
15 years 4 months ago
1993
The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it ev...
105
click to vote
TLCA
1993
Springer
15 years 4 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...
131
click to vote
HCI
1993
15 years 1 months ago
1993
There currently are 4 different views on human computer interaction in measuring interactive qualities: (1) the interaction-oriented view, (2) the user-oriented view, (3) the prod...
93
Voted
SAS
1993
Springer
15 years 4 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...