Marco Bellia

Affiliations:
  • University of Pisa, Italy


According to our database1, Marco Bellia authored at least 25 papers between 1977 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Programming Self-Assembly of DNA Tiles.
Fundam. Informaticae, 2016

2014
DNA Tiles, Wang Tiles and Combinators.
Fundam. Informaticae, 2014

2013
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.
Fundam. Informaticae, 2013

2012
The Equivalence of Reduction and Translation Semantics of Java Simple Closures.
Fundam. Informaticae, 2012

Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.
Proceedings of the 21th International Workshop on Concurrency, 2012

2011
Properties of Java Simple Closures.
Fundam. Informaticae, 2011

2009
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters.
Fundam. Informaticae, 2009

2008
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
Fundam. Informaticae, 2008

2005
Higher order Programming in Java: Introspection, Subsumption and Extraction.
Fundam. Informaticae, 2005

2003
N-axioms Parallel Unification.
Fundam. Informaticae, 2003

1999
Lazy Linear Combinatorial Unification.
J. Symb. Comput., 1999

1995
Suprema of Open and Closed Formulas and Their Application to Resolution
Inf. Comput., February, 1995

1993
C-Expressions: A Variable-Free Calculus for Equational Logic Programming.
Theor. Comput. Sci., 1993

1990
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.
Proceedings of the CAAP '90, 1990

1988
Logic and Functional Programming by Retractions: Operational Semantics.
RAIRO Theor. Informatics Appl., 1988

Logic and Functional Programming by Retractions.
RAIRO Theor. Informatics Appl., 1988

1987
Retractions: A Functional Paradigm for Logic Programming.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

A Two-Level Approach to Logic plus Functional Programming Integration.
Proceedings of the PARLE, 1987

1986
The Relation between Logic and Functional Languages: A Survey.
J. Log. Program., 1986

LEAF: A Language which Integrates Logic, Equations and Functions.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984
On the Integration of Logic Programming and Functional Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Proceedings of the Implementations of Prolog. , 1984

1983
On Compiling Prolog Programs on Demand Driven Architectures.
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982
Applicative communicating processes in first order logic.
Proceedings of the International Symposium on Programming, 1982

1977
Distributed Control, Modularity and Data Types in a Simple Parallel Language.
Proceedings of the International Computing Symposium 1977, 1977


  Loading...