( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.

, и . Fundam. Informaticae, 128 (1-2): 17-33 (2013)

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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Другие публикации лиц с тем же именем

Retractions: A Functional Paradigm for Logic Programming.. TAPSOFT, Vol.2, том 250 из Lecture Notes in Computer Science, стр. 260-275. Springer, (1987)Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types., и . Fundam. Informaticae, 128 (1-2): 17-33 (2013)The Equivalence of Reduction and Translation Semantics of Java Simple Closures., и . Fundam. Informaticae, 119 (3-4): 249-264 (2012)The Relation between Logic and Functional Languages: A Survey., и . J. Log. Program., 3 (3): 217-236 (1986)Combinatory Forms for Equational Programming: Instances, Unification and Narrowing., , и . CAAP, том 431 из Lecture Notes in Computer Science, стр. 42-56. Springer, (1990)Higher order Programming in Java: Introspection, Subsumption and Extraction., и . Fundam. Informaticae, 67 (1-3): 29-44 (2005)Logic and Functional Programming by Retractions.. RAIRO Theor. Informatics Appl., 22 (3): 271-310 (1988)On the Integration of Logic Programming and Functional Programming., , , и . SLP, стр. 160-166. IEEE-CS, (1984)A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language., , , , и . Implementations of Prolog, Ellis Horwood/Halsted Press/Wiley, (1984)Methods as Parameters: A Preprocessing Approach to Higher Order in Java., и . Fundam. Informaticae, 85 (1-4): 35-50 (2008)