Jon Riecke
Title
Cited by
Cited by
Year
The SLam calculus: programming with secrecy and integrity
N Heintze, JG Riecke
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5421998
A core calculus of dependency
M Abadi, A Banerjee, N Heintze, JG Riecke
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
4781999
Stability issues in OSPF routing
A Basu, J Riecke
ACM SIGCOMM Computer Communication Review 31 (4), 225-236, 2001
3322001
A generalization of exceptions and control in ML-like languages
CA Gunter, D Rémy, JG Riecke
Proceedings of the seventh international conference on functional …, 1995
1251995
Privacy via subsumption
JG Riecke, CA Stone
Information and Computation 172 (1), 2-28, 2002
912002
Kripke logical relations and PCF
PW Ohearn, JG Riecke
Information and Computation 120 (1), 107-116, 1995
871995
Fully abstract translations between functional languages
JG Riecke
Mathematical Structures in Computer Science 3 (4), 387-415, 1993
801993
Domains and denotational semantics: History, accomplishments and open problems
A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996
701996
Reference counting as a computational interpretation of linear logic
J Chirimar, CA Gunter, JG Riecke
Journal of Functional Programming 6 (2), 195-244, 1996
601996
Simple objects for Standard ML
J Reppy, J Riecke
ACM SIGPLAN Notices 31 (5), 171-180, 1996
541996
Design and correctness of program transformations based on control-flow analysis
A Banerjee, N Heintze, JG Riecke
International Symposium on Theoretical Aspects of Computer Software, 420-447, 2001
432001
Region analysis and the polymorphic lambda calculus
A Banerjee, N Heintze, JG Riecke
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
411999
Proving memory management invariants for a language based on linear logic
J Chirimar, CA Gunter, JG Riecke
Proceedings of the 1992 ACM Conference on LISP and Functional Programming …, 1992
391992
Isolating side effects in sequential languages
JG Riecke, R Viswanathan
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
341995
Delimiting the scope of effects
JG Riecke
Proceedings of the conference on Functional programming languages and …, 1993
311993
Continuations may be unreasonable
A Meyer, JG Riecke
Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, 63-71, 1988
301988
Typed exceptions and continuations cannot macro-express each other
JG Riecke, H Thielecke
International Colloquium on Automata, Languages, and Programming, 635-644, 1999
291999
A calculus for compiling and linking classes
K Fisher, J Reppy, JG Riecke
European Symposium on Programming, 135-149, 2000
262000
A relational account of call-by-value sequentiality
JG Riecke, A Sandholm
Information and Computation 179 (2), 296-331, 2002
222002
Classes in Object ML via modules
JH Reppy, JG Riecke
Third International Workshop on Foundations of Object-Oriented Languages, 1996
221996
The system can't perform the operation now. Try again later.
Articles 1–20