×

Found 3 Documents (Results 1–3)

Type inference by coinductive logic programming. (English) Zbl 1246.68079

Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 1-18 (2009).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

A parametric calculus for mobile open code. (English) Zbl 1277.68158

Danos, Vincent (ed.) et al., Proceedings of the third international workshop on developments in computational models (DCM 2007), Wrocław, Poland, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 3, 3-22 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software