Bellia, Marco; Occhiuto, M. Eugenia Programming self-assembly of DNA tiles. (English) Zbl 1358.68099 Fundam. Inform. 143, No. 1-2, 35-49 (2016). MSC: 68Q05 03B40 68Q60 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 143, No. 1--2, 35--49 (2016; Zbl 1358.68099) Full Text: DOI
Bellia, Marco; Occhiuto, M. Eugenia DNA tiles, Wang tiles and combinators. (English) Zbl 1317.68052 Fundam. Inform. 133, No. 2-3, 105-121 (2014). MSC: 68Q05 03B40 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 133, No. 2--3, 105--121 (2014; Zbl 1317.68052) Full Text: DOI
Bellia, Marco; Occhiuto, M. Eugenia Java SAM typed closures: a sound and complete type inference system for nominal types. (English) Zbl 1285.68025 Fundam. Inform. 128, No. 1-2, 17-33 (2013). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 128, No. 1--2, 17--33 (2013; Zbl 1285.68025) Full Text: DOI
Bellia, Marco; Occhiuto, M. Eugenia The equivalence of reduction and translation semantics of Java simple closures. (English) Zbl 1252.68053 Fundam. Inform. 119, No. 3-4, 249-264 (2012). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 119, No. 3--4, 249--264 (2012; Zbl 1252.68053) Full Text: DOI
Bellia, Marco; Occhiuto, M. Eugenia Properties of Java simple closures. (English) Zbl 1228.68019 Fundam. Inform. 109, No. 3, 237-253 (2011). MSC: 68N15 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 109, No. 3, 237--253 (2011; Zbl 1228.68019) Full Text: DOI
Bellia, Marco; Occhiuto, M. Eugenia Java\(\Omega\): The structures and the implementation of a preprocessor for Java with m\(_-\) and mc\(_-\)parameters. (English) Zbl 1191.68166 Fundam. Inform. 93, No. 1-3, 45-64 (2009). MSC: 68N19 68N15 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 93, No. 1--3, 45--64 (2009; Zbl 1191.68166)
Bellia, Marco; Occhiuto, M. Eugenia Methods as parameters: a preprocessing approach to higher order in Java. (English) Zbl 1160.68331 Fundam. Inform. 85, No. 1-4, 35-50 (2008). MSC: 68N15 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 85, No. 1--4, 35--50 (2008; Zbl 1160.68331)
Bellia, Marco; Occhiuto, M. Eugenia Higher order programming in Java: introspection, subsumption and extraction. (English) Zbl 1096.68020 Fundam. Inform. 67, No. 1-3, 29-44 (2005). MSC: 68N19 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 67, No. 1--3, 29--44 (2005; Zbl 1096.68020)
Bellia, Marco; Occhiuto, M. Eugenia \(N\)-axioms parallel unification. (English) Zbl 1111.68043 Fundam. Inform. 55, No. 2, 115-128 (2003). MSC: 68Q15 68T15 68W10 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 55, No. 2, 115--128 (2003; Zbl 1111.68043)