BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Denmark
1 × Germany
1 × Italy
1 × Poland
1 × United Kingdom
10 × USA
Collaborated with:
N.Heintze J.H.Reppy A.R.Meyer C.A.Gunter A.Banerjee H.Thielecke A.Sandholm R.Viswanathan P.W.O'Hearn R.Subrahmanyam K.Fisher D.Rémy J.Chirimar S.S.Cosmadakis M.Abadi
Talks about:
languag (5) calculus (4) complet (3) type (3) polymorph (2) translat (2) sequenti (2) abstract (2) continu (2) effect (2)

Person: Jon G. Riecke

DBLP DBLP: Riecke:Jon_G=

Contributed to:

ESOP 20002000
ICALP 19991999
LICS 19991999
POPL 19991999
POPL 19981998
LICS 19971997
PLDI 19961996
FPCA 19951995
POPL 19951995
ESOP 19941994
FPCA 19931993
POPL 19931993
LFP 19921992
POPL 19911991
ICALP 19901990
LICS 19901990
LFP 19881988

Wrote 17 papers:

ESOP-2000-FisherRR #calculus #compilation
A Calculus for Compiling and Linking Classes (KF, JHR, JGR), pp. 135–149.
ICALP-1999-RieckeT #continuation
Typed Exeptions and Continuations Cannot Macro-Express Each Other (JGR, HT), pp. 635–644.
LICS-1999-BanerjeeHR #analysis #polymorphism #λ-calculus
Region Analysis and the Polymorphic λ Calculus (AB, NH, JGR), pp. 88–97.
POPL-1999-AbadiBHR #calculus #dependence
A Core Calculus of Dependency (MA, AB, NH, JGR), pp. 147–160.
POPL-1998-HeintzeR #calculus #programming
The SLam Calculus: Programming with Secrecy and Integrity (NH, JGR), pp. 365–377.
LICS-1997-RieckeS #call-by #relational
A Relational Account of Call-by-Value Sequentiality (JGR, AS), pp. 258–267.
PLDI-1996-ReppyR #ml #standard
Simple Objects for Standard ML (JHR, JGR), pp. 171–180.
FPCA-1995-GunterRR #exception
A Generalization of Exceptions and Control in ML-like Languages (CAG, DR, JGR), pp. 12–23.
Isolating Side Effects in Sequential Languages (JGR, RV), pp. 1–12.
ESOP-1994-OHearnR #morphism #parametricity #polymorphism
Fully Abstract Translations and Parametric Polymorphism (PWO, JGR), pp. 454–468.
Delimiting the Scope of Effects (JGR), pp. 146–158.
POPL-1993-ReickeS #algebra #reasoning
Algebraic Reasoning and Completeness in Typed Languages (JGR, RS), pp. 185–195.
LFP-1992-ChirimarGR #invariant #linear #logic #memory management #proving
Proving Memory Management Invariants for a Language Based on Linear Logic (JC, CAG, JGR), pp. 139–150.
POPL-1991-Riecke #functional
Fully Abstract Translations between Functional Languages (JGR), pp. 245–254.
ICALP-1990-Riecke #call-by #decidability #proving
A Complete and Decidable Proof System for Call-by-Value Equalities (JGR), pp. 20–31.
LICS-1990-CosmadakisMR #lazy evaluation
Completeness for typed lazy inequalities (SSC, ARM, JGR), pp. 312–320.
LFP-1988-MeyerR #continuation
Continuations May be Unreasonable (ARM, JGR), pp. 63–71.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.