Follow
Ian A. Mason
Ian A. Mason
Senior Computer Scientist, SRI International
Verified email at csl.sri.com - Homepage
Title
Cited by
Cited by
Year
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
7021997
Equivalence in Functional Languages with Effects
IA Mason, CL Talcott
Journal of functional programming 1, 287-327, 1991
2431991
Propositional logic of context
S Buvac, IA Mason
AAAI, 412-419, 1993
2261993
Metamathematics of contexts
S Buvač, V Buvač, IA Mason
Fundamenta Informaticae 23 (2-4), 263-301, 1995
1991995
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
1611992
Using typed lambda calculus to implement formal systems on a machine
A Avron, F Honsell, IA Mason, R Pollack
Journal of Automated Reasoning 9, 309-354, 1992
1561992
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and computation 119 (1), 55-90, 1995
1001995
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
881996
Deepphase: Periodic autoencoders for learning motion phase manifolds
S Starke, I Mason, T Komura
ACM Transactions on Graphics (TOG) 41 (4), 1-13, 2022
832022
References, local variables and operational reasoning
IA Mason, CL Talcott
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
641992
Using typed lambda calculus to implement formal systems on a machine
A Avron, FA Honsell, IA Mason
University of Edinburgh, Department of Computer Science, Laboratory for …, 1987
611987
Actor languages their syntax, semantics, translation, and equivalence
IA Mason, CL Talcott
Theoretical Computer Science 220 (2), 409-467, 1999
581999
Source-free adaptation to measurement shift via bottom-up feature restoration
C Eastwood, I Mason, CKI Williams, B Schölkopf
arXiv preprint arXiv:2107.05446, 2021
532021
The semantics of destructive Lisp
IA Mason
Center for the Study of Language and Information, 1987
531987
Programming, transforming, and proving with function abstractions and memories
I Mason, C Talcott
International Colloquium on Automata, Languages, and Programming, 574-588, 1989
521989
Inferring the equivalence of functional programs that mutate data
I Mason, C Talcott
Theoretical Computer Science 105 (2), 167-215, 1992
501992
Hoare's Logic in the LF
IA Mason
University of Edinburgh, Department of Computer Science. Laboratory for …, 1987
471987
Axiomatizing Operational Equivalence in the presence of Side E ects
IA Mason, CL Talcott
4th Symposium on logic in computer science, Asilomar CA,(IEEE), 1989
441989
Verification of programs that destructively manipulate data
IA Mason
Science of Computer Programming 10 (2), 177-210, 1988
361988
Bootstrapping Communications into an Anti-Censorship System.
P Lincoln, I Mason, PA Porras, V Yegneswaran, Z Weinberg, J Massar, ...
FOCI, 2012
322012
The system can't perform the operation now. Try again later.
Articles 1–20