Follow
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
6011998
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
5511999
Stability issues in OSPF routing
A Basu, J Riecke
ACM SIGCOMM Computer Communication Review 31 (4), 225-236, 2001
3362001
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
1371995
Kripke logical relations and PCF
PW Ohearn, JG Riecke
Information and Computation 120 (1), 107-116, 1995
1021995
Privacy via subsumption
JG Riecke, CA Stone
Information and Computation 172 (1), 2-28, 2002
892002
Fully abstract translations between functional languages
JG Riecke
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
811991
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
771996
Reference counting as a computational interpretation of linear logic
J Chirimar, CA Gunter, JG Riecke
Journal of Functional Programming 6 (2), 195-244, 1996
681996
Simple objects for Standard ML
J Reppy, J Riecke
ACM SIGPLAN Notices 31 (5), 171-180, 1996
531996
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
442001
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
401992
Isolating side effects in sequential languages
JG Riecke, R Viswanathan
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
331995
Delimiting the scope of effects
JG Riecke
Proceedings of the conference on Functional programming languages and …, 1993
321993
Typed exceptions and continuations cannot macro-express each other
JG Riecke, H Thielecke
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999
291999
Continuations may be unreasonable
A Meyer, JG Riecke
Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, 63-71, 1988
291988
A relational account of call-by-value sequentiality
JG Riecke, A Sandholm
Information and Computation 179 (2), 296-331, 2002
272002
A calculus for compiling and linking classes
K Fisher, J Reppy, JG Riecke
Programming Languages and Systems: 9th European Symposium on Programming …, 2000
272000
Classes in Object ML via modules
JH Reppy, JG Riecke
Third International Workshop on Foundations of Object-Oriented Languages, 1996
231996
The system can't perform the operation now. Try again later.
Articles 1–20