researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Formal Asp. Comput.
Home
Index
Info
Issue
Volume
1
, Issue
2
147
--
171
C. T. Burton
,
S. J. Cook
,
S. Gikas
,
J. R. Rowson
,
S. T. Sommerville
.
Specifying the Apple Macintosh Toolbox Event Manager
173
--
192
Martin C. Henson
.
Program Development in the Constructive Set Theory TK
193
--
211
Matthew M. Huntbach
.
Meta-interpreters and Partial Evaluation in Parlog