( en | de | ru )

 

Disambiguation of "Bellia, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.

, and . CS&P, volume 928 of CEUR Workshop Proceedings, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Other publications of authors with the same name

The Relation between Logic and Functional Languages: A Survey., and . J. Log. Program., 3 (3): 217-236 (1986)Retractions: A Functional Paradigm for Logic Programming.. TAPSOFT, Vol.2, volume 250 of Lecture Notes in Computer Science, page 260-275. Springer, (1987)Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures., and . CS&P, volume 928 of CEUR Workshop Proceedings, page 49-60. CEUR-WS.org, (2012)On the Integration of Logic Programming and Functional Programming., , , and . SLP, page 160-166. IEEE-CS, (1984)Combinatory Forms for Equational Programming: Instances, Unification and Narrowing., , and . CAAP, volume 431 of Lecture Notes in Computer Science, page 42-56. Springer, (1990)LEAF: A Language which Integrates Logic, Equations and Functions., , , and . Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)On Compiling Prolog Programs on Demand Driven Architectures., , and . Logic Programming Workshop, page 518-535. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)Applicative communicating processes in first order logic., , , , and . Symposium on Programming, volume 137 of Lecture Notes in Computer Science, page 1-14. Springer, (1982)Distributed Control, Modularity and Data Types in a Simple Parallel Language., and . International Computing Symposium, page 441-450. North-Holland, (1977)A Two-Level Approach to Logic plus Functional Programming Integration., , , , , and . PARLE (1), volume 258 of Lecture Notes in Computer Science, page 374-393. Springer, (1987)