122
click to vote
OOPSLA
1987
Springer
15 years 8 months ago
1987
Springer
This paper shows how an attempt at a uniform and reflective definition resulted in an open-ended system supporting ObjVlisp, which we use to simulate object-oriented language exte...
128
click to vote
INFOCOM
1989
IEEE
15 years 8 months ago
1989
IEEE
Consider M - HChoose P - T communications: T users or less, out of M potential users, are chosen at random to simultaneously transmit binary data over a common channel. A method f...
OGAI
1987
15 years 8 months ago
1987
111
click to vote
LICS
1987
IEEE
15 years 8 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...