( en | de | ru )

 

Disambiguierung von "Bellia, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.

, und . CS&P, Volume 928 von CEUR Workshop Proceedings, Seite 49-60. CEUR-WS.org, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

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