( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.

, и . CS&P, том 928 из CEUR Workshop Proceedings, стр. 49-60. CEUR-WS.org, (2012)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures., и . CS&P, том 928 из CEUR Workshop Proceedings, стр. 49-60. CEUR-WS.org, (2012)On the Integration of Logic Programming and Functional Programming., , , и . SLP, стр. 160-166. IEEE-CS, (1984)Combinatory Forms for Equational Programming: Instances, Unification and Narrowing., , и . CAAP, том 431 из Lecture Notes in Computer Science, стр. 42-56. Springer, (1990)On Compiling Prolog Programs on Demand Driven Architectures., , и . Logic Programming Workshop, стр. 518-535. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)LEAF: A Language which Integrates Logic, Equations and Functions., , , и . Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)Retractions: A Functional Paradigm for Logic Programming.. TAPSOFT, Vol.2, том 250 из Lecture Notes in Computer Science, стр. 260-275. Springer, (1987)The Relation between Logic and Functional Languages: A Survey., и . J. Log. Program., 3 (3): 217-236 (1986)Distributed Control, Modularity and Data Types in a Simple Parallel Language., и . International Computing Symposium, стр. 441-450. North-Holland, (1977)DNA Tiles, Wang Tiles and Combinators., и . CS&P, том 1032 из CEUR Workshop Proceedings, стр. 1-14. CEUR-WS.org, (2013)Programming Self-Assembly of DNA Tiles., и . CS&P, том 1269 из CEUR Workshop Proceedings, стр. 34-45. CEUR-WS.org, (2014)