Marco Bellia

From MaRDI portal
Person:1284281

Available identifiers

zbMath Open bellia.marcoMaRDI QIDQ1284281

List of research outcomes





PublicationDate of PublicationType
Programming Self-Assembly of DNA Tiles2017-03-22Paper
DNA Tiles, Wang Tiles and Combinators2014-12-22Paper
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types2014-04-25Paper
The Equivalence of Reduction and Translation Semantics of Java Simple Closures2012-10-29Paper
Properties of Java Simple Closures2011-11-10Paper
https://portal.mardi4nfdi.de/entity/Q51929232009-08-10Paper
https://portal.mardi4nfdi.de/entity/Q55063522009-01-28Paper
Higher order programming in Java: introspection, subsumption and extraction2006-06-19Paper
https://portal.mardi4nfdi.de/entity/Q44617532004-05-18Paper
Lazy linear combinatorial unification1999-03-30Paper
Suprema of open and closed formulas and their application to resolution1995-05-28Paper
C-expressions: A variable-free calculus for equational logic programming1993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40276181993-02-21Paper
Logic and functional programming by retractions : operational semantics1988-01-01Paper
Logic and functional programming by retractions1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37765981987-01-01Paper
The relation between logic and functional languages: a survey1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39579291982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39684511982-01-01Paper
Hierarchical development of programming languages1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41558191977-01-01Paper

Research outcomes over time

This page was built for person: Marco Bellia

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1284281&oldid=11060616"
Powered by MediaWiki