Marco Bellia

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Programming Self-Assembly of DNA Tiles Fundamenta Informaticae	2017-03-22	Paper
DNA tiles, Wang tiles and combinators Fundamenta Informaticae	2014-12-22	Paper
Java SAM typed closures: a sound and complete type inference system for nominal types Fundamenta Informaticae	2014-04-25	Paper
The equivalence of reduction and translation semantics of Java simple closures Fundamenta Informaticae	2012-10-29	Paper
Properties of Java Simple Closures Fundamenta Informaticae	2011-11-10	Paper
scientific article; zbMATH DE number 5593262 (Why is no real title available?)	2009-08-10	Paper
scientific article; zbMATH DE number 5499341 (Why is no real title available?)	2009-01-28	Paper
Higher order programming in Java: introspection, subsumption and extraction	2006-06-19	Paper
scientific article; zbMATH DE number 2064226 (Why is no real title available?)	2004-05-18	Paper
Lazy linear combinatorial unification Journal of Symbolic Computation	1999-03-30	Paper
Suprema of open and closed formulas and their application to resolution Information and Computation	1995-05-28	Paper
C-expressions: A variable-free calculus for equational logic programming Theoretical Computer Science	1993-05-16	Paper
scientific article; zbMATH DE number 125880 (Why is no real title available?)	1993-02-21	Paper
Logic and functional programming by retractions : operational semantics RAIRO - Theoretical Informatics and Applications	1988-01-01	Paper
Logic and functional programming by retractions RAIRO - Theoretical Informatics and Applications	1988-01-01	Paper
scientific article; zbMATH DE number 4037165 (Why is no real title available?)	1987-01-01	Paper
The relation between logic and functional languages: a survey The Journal of Logic Programming	1986-01-01	Paper
scientific article; zbMATH DE number 3778724 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3791599 (Why is no real title available?)	1982-01-01	Paper
Hierarchical development of programming languages Calcolo	1981-01-01	Paper
scientific article; zbMATH DE number 3588033 (Why is no real title available?)	1977-01-01	Paper

Research outcomes over time

This page was built for person: Marco Bellia