Marco Bellia

Publication Activity (10 Years)

Years Active: 1977-2016
Publications (10 Years): 1

Top Topics

Lambda Calculus

Programming Environments

Inference Process

Top Venues

Fundam. Informaticae

Publications

Marco Bellia, M. Eugenia Occhiuto
Programming Self-Assembly of DNA Tiles. Fundam. Informaticae 143 (1-2) (2016)
Marco Bellia, M. Eugenia Occhiuto
DNA Tiles, Wang Tiles and Combinators. Fundam. Informaticae 133 (2-3) (2014)
Marco Bellia, M. Eugenia Occhiuto
Programming Self-Assembly of DNA Tiles. CS&P (2014)
Marco Bellia, M. Eugenia Occhiuto
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. Fundam. Informaticae 128 (1-2) (2013)
Marco Bellia, M. Eugenia Occhiuto
DNA Tiles, Wang Tiles and Combinators. CS&P (2013)
Marco Bellia, M. Eugenia Occhiuto
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. CS&P (2012)
Marco Bellia, M. Eugenia Occhiuto
The Equivalence of Reduction and Translation Semantics of Java Simple Closures. Fundam. Informaticae 119 (3-4) (2012)
Marco Bellia, M. Eugenia Occhiuto
Properties of Java Simple Closures. Fundam. Informaticae 109 (3) (2011)
Marco Bellia, M. Eugenia Occhiuto
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters. Fundam. Informaticae 93 (1-3) (2009)
Marco Bellia, M. Eugenia Occhiuto
Methods as Parameters: A Preprocessing Approach to Higher Order in Java. Fundam. Informaticae 85 (1-4) (2008)
Marco Bellia, M. Eugenia Occhiuto
Higher order Programming in Java: Introspection, Subsumption and Extraction. Fundam. Informaticae 67 (1-3) (2005)
Marco Bellia, M. Eugenia Occhiuto
N-axioms Parallel Unification. Fundam. Informaticae 55 (2) (2003)
Marco Bellia, M. Eugenia Occhiuto
Lazy Linear Combinatorial Unification. J. Symb. Comput. 27 (2) (1999)
Marco Bellia, M. Eugenia Occhiuto
Suprema of Open and Closed Formulas and Their Application to Resolution Inf. Comput. 117 (1) (1995)
Marco Bellia, M. Eugenia Occhiuto
C-Expressions: A Variable-Free Calculus for Equational Logic Programming. Theor. Comput. Sci. 107 (2) (1993)
Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. CAAP (1990)
Marco Bellia
Logic and Functional Programming by Retractions: Operational Semantics. RAIRO Theor. Informatics Appl. 22 (4) (1988)
Marco Bellia
Logic and Functional Programming by Retractions. RAIRO Theor. Informatics Appl. 22 (3) (1988)
Marco Bellia
Retractions: A Functional Paradigm for Logic Programming. TAPSOFT, Vol.2 (1987)
Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) (1987)
Marco Bellia, Giorgio Levi
The Relation between Logic and Functional Languages: A Survey. J. Log. Program. 3 (3) (1986)
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
On the Integration of Logic Programming and Functional Programming. SLP (1984)
Marco Bellia, Giorgio Levi, Maurizio Martelli
On Compiling Prolog Programs on Demand Driven Architectures. Logic Programming Workshop (1983)
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
Applicative communicating processes in first order logic. Symposium on Programming (1982)
Marco Bellia, Giorgio Levi
Distributed Control, Modularity and Data Types in a Simple Parallel Language. International Computing Symposium (1977)