PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Riecke, Jon G."

Author of the publication

copydeleteadd this publication to your clipboard
A Calculus for Compiling and Linking Classes.

, , and . ESOP, volume 1782 of Lecture Notes in Computer Science, page 135-149. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

G. Daiß

G. Wagner

Steven Jöns University of Stuttgart

Dr. Guido Reina University of Stuttgart

Univ. -Prof. Dr. -Ing. Joachim Groß University of Stuttgart

Replication Data for: Transferable Anisotropic Mie Potential Force Field for Alkanediols, , , and . Dataset, (2024)Related to: Fleck, Maximilian; Darouich, Samir; Hansen, Niels; Gross, Joachim (2024): Transferable Anisotropic Mie Potential Force Field for Alkanediols. In: The Journal of Physical Chemistry B, 128, 4792-4801. doi: 10.1021/acs.jpcb.4c00962.
 

Other publications of authors with the same name

Reference Counting as a Computational Interpretation of Linear Logic., , and . J. Funct. Program., 6 (2): 195-244 (1996)Statman's 1-Section Theorem. Inf. Comput., 116 (2): 294-303 (February 1995)Region Analysis and the Polymorphic Lambda Calculus., , and . LICS, page 88-97. IEEE Computer Society, (1999)Fully Abstract Translations between Functional Languages.. POPL, page 245-254. ACM Press, (1991)Simple Objects for Standard ML., and . PLDI, page 171-180. ACM, (1996)Fully Abstract Translations and Parametric Polymorphism., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 454-468. Springer, (1994)BOOK REVIEW: Action Semantics. By Peter D. Mosses. (Cambridge University Press, 1992. xx+372pp. ISBN 0-521-40347-2. $49.95).. SIGACT News, 24 (2): 24-25 (1993)A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report).. ICALP, volume 443 of Lecture Notes in Computer Science, page 20-31. Springer, (1990)Completeness for typed lazy inequalities, , and . LICS, page 312-320. IEEE Computer Society, (1990)The SLam Calculus: Programming with Secrecy and Integrity., and . POPL, page 365-377. ACM, (1998)