on this page

Partial lists of my papers are also available on:

Disclaimer: Papers are made available on this webpage to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or other copyright holders.

submitted papers

Cosimo Laneve, Luca Padovani, An Algebraic Theory for Web Service Contracts.

journal papers 2014 2012 2010 2009 2003 older

to appear
Luca Padovani, Fair Subtyping for Multi-Party Session Types, to appear in Mathematical Structures in Computer Science, ISSN 0960-1295, Cambridge University Press.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani, Global Progress for Dynamically Interleaved Multiparty Sessions, to appear in Mathematical Structures in Computer Science, ISSN 0960-1295, Cambridge University Press.
2014
Svetlana Jakšić, Luca Padovani, Exception Handling for Copyless Messaging, in Science of Computer Programming, Vol. 84, pp. 22-51, ISSN 0167-6423, Elsevier, 2014.
2012
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani, On Global Types and Multi-Party Sessions, in Logical Methods in Computer Science, Vol. 8, Issue 1:24, pp. 1-45, ISSN 1860-5974, 2012.
Viviana Bono, Luca Padovani, Typing Copyless Message Passing, in Logical Methods in Computer Science, Vol. 8, Issue 1:17, pp. 1-50, ISSN 1860-5974, 2012.
Luca Padovani, On Projecting Processes into Session Types, in Mathematical Structures in Computer Science, Vol. 22, Special Issue 02, pp. 237-289, ISSN 0960-1295, Cambridge University Press, 2012.
2010
Luca Padovani, Contract-Based Discovery of Web Services Modulo Simple Orchestrators, in Theoretical Computer Science, Vol. 411, pp. 3328-3347, ISSN 0304-3975, Elsevier, 2010.
2009
Samuele Carpineti, Cosimo Laneve, Luca Padovani, PiDuce - A Project for Experimenting Web Services Technologies, in Science of Computer Programming, Vol. 74, Issue 10, pp. 777-811, ISSN 0167-6423, Elsevier, 2009.
Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, in ACM Transactions on Programming Languages and Systems, Vol. 31, Issue 5, ISSN 0164-0925, New York, NY, USA, 2009.
2003
Luca Padovani, MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality, The Communications of the TeX Users Group, Vol. 24, No. 1, pp. 53-61, ISSN 0896-3207, Portland, Oregon, USA, 2003.
Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Mathematical Knowledge Management in HELM, in Annals of Mathematics and Artificial Intelligence, Special Issue on Mathematical Knowledge Management, Vol. 38, Issue 1-3, pp. 27-46, ISSN 1012-2443, Kluwer Academic Publishers, 2003.
2002
Paolo Casarini, Luca Padovani, The GNOME DOM Engine, in Markup Languages: Theory & Practice, Vol. 3, Issue 2, pp. 173-190, ISSN 1099-6621, MIT Press, 2002.

proceedings 2013 2012 2011 2010 2009 older

2014
Luca Padovani, Deadlock and Lock Freedom in the Linear π-Calculus, to appear in Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), Vienna, Austria, 14-18 July 2014.
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira, Typing Liveness in Multiparty Communicating Systems, in Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), Eva Kühn, Rosario Pugliese (editors), LNCS 8459, pp. 147-162, Berlin, Germany, 3-6 June 2014.
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantović, Session Type Isomorphisms, to appear in Proceedings of the Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14), Grenoble, France, 12 April 2014.
Luca Padovani, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, in Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), Anca Muscholl (editor), LNCS 8412, pp. 88-102, Grenoble, France, 5-13 April 2014. nominated for best paper award
Giuseppe Castagna, Kim Nguyễn, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani, Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation, in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14), pp. 5-17, San Diego, USA, 22-24 January 2014.
2013
Luca Padovani, Fair Subtyping for Open Session Types, in Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP'13), Part II, Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, and David Peleg (editors), LNCS 7966, pp. 373-384, Riga, Latvia, 8-12 July 2013.
Cosimo Laneve, Luca Padovani, An Algebraic Theory for Web Service Contracts, in Proceedings of the 10th International Conference on integrated Formal Methods (IFM'13), Einar Broch Johnsen and Luigia Petre (editors), LNCS 7940, pp. 301-315, Turku, Finland, 10-14 June 2013. INVITED
Viviana Bono, Luca Padovani, Andrea Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, in Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13), Dirk Beyer and Michele Boreale (editors), LNCS 7892, pp. 83-98, Florence, Italy, 3-6 June 2013.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION'13), Christine Julien and Rocco De Nicola (editors), LNCS 7890, pp. 45-59, Florence, Italy, 3-5 June 2013.
Luca Padovani, From Lock Freedom to Progress Using Session Types, in Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13), Nobuko Yoshida and Wim Vanderbauwhede (editors), EPTCS 137, pp. 3-19, Rome, Italy, 23 March 2013.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in Proceedings of the 1st International Workshop on Behavioural Types (BEAT'13), pp. 16-27, Rome, Italy, 22 January 2013.
2012
Ferruccio Damiani, Luca Padovani, Ina Schaefer, A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, in Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE'12), Klaus Ostermann and Walter Binder (editors), pp. 1-10, Dresden, Germany, 26-27 September 2012.
Svetlana Jakšić, Luca Padovani, Exception Handling for Copyless Messaging, in Proceedings of the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'12), Danny De Schreye, Gerda Janssens, and Andy King (editors), pp. 151-162, Leuven, Belgium, 19-21 September 2012. superseded by [10] in journal papers
2011
Viviana Bono, Luca Padovani, Polymorphic Endpoint Types for Copyless Message Passing, in Proceedings of the 4th Workshop on Interaction and Concurrency Experience (ICE'11), Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone (editors), EPTCS 59, pp. 52-67, Reykjavík, Iceland, 9 June 2011. superseded by [8] in journal papers
Luca Padovani, Fair Subtyping for Multi-Party Session Types, in Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION'11), Wolfgang De Meuter and Gruia-Catalin Roman (editors), LNCS 6721, pp. 127-141, Reykjavík, Iceland, 6-9 June 2011. superseded by [12] in journal papers
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani, On Global Types and Multi-Party Sessions, in Proceedings of the 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS'11), Roberto Bruni and Juergen Dingel (editors), LNCS 6722, pp. 1-28, Reykjavík, Iceland, 6-9 June 2011. superseded by [9] in journal papersINVITED
Viviana Bono, Chiara Messa, Luca Padovani, Typing Copyless Message Passing, in Proceedings of the 20th European Symposium on Programming (ESOP'11), Gilles Barthe (editor), LNCS 6602, pp. 57-76, Saarbrücken, Germany, 26 March - 3 April 2011. superseded by [8] in journal papers
2010
Luca Padovani, Session Types = Intersection Types + Union Types, in Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS'10), Elaine Pimentel, Betti Venneri, and Joe Wells (editors), EPTCS 45, pp. 71-89, Edinburgh, Scotland, 2010.
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, and Andrea Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, in Proceedings of the 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN'10), Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet (editors), CEUR, Vol. 627, pp. 134-149, ISSN 1613-0073, Lyon, France, 30 August - 2 September 2010.
2009
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani, Foundations of Session Types, in Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), António Porto and Francisco J. López-Fraguas (editors), pp. 219-230, Coimbra, Portugal, 7-9 September 2009.
Giuseppe Castagna, Luca Padovani, Contracts for Mobile Processes, in Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), Mario Bravetti and Gianluigi Zavattaro (editors), LNCS 5710, pp. 211-228, Bologna, Italy, 31 August - 5 September 2009.
Luca Padovani, Session Types at the Mirror, in Proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09), Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto (editors), EPTCS 12, pp. 71-86, Bologna, Italy, 31 August 2009. best scored ICE'09 papersuperseded by [7] in journal papers
Giuseppe Castagna, Luca Padovani, A Preliminary Proposal of Decidable Testing Relations for Infinitary Asynchronous CCS, presented at the 11th International Workshop on Verification of Infinite-State Systems (INFINITY'09), Bologna, Italy, 31 August 2009.
2008
Luca Padovani, Contract-Directed Synthesis of Simple Orchestrators, in Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Franck van Breugel and Marsha Chechik (editors), LNCS 5201, pp. 131-146, Toronto, Canada, 19-22 August 2008. superseded by [6] in journal papers
Cosimo Laneve, Luca Padovani, The Pairing of Contracts and Session Types, in Concurrency, Graphs and Models (Ugo65'08), Pierpaolo Degano, Rocco De Nicola, and José Meseguer (editors), LNCS 5065, pp. 681-700, Pisa, Italy, 12 June 2008.
Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, in Proceedings of the 35th annual symposium on Principles of Programming Languages (POPL'08), pp. 261-272, San Francisco, California, 10-12 January 2008. superseded by [4] in journal papers
2007
Cosimo Laneve, Luca Padovani, The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts, in Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07), Luís Caires and Vasco T. Vasconcelos (editors), LNCS 4703, pp. 212-225, Lisbon, Portugal, 2007.
Marco Bernardo, Luca Padovani, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, in Proceedings of the 9th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), Marcello M. Bonsangue and Einar Broch Johnsen (editors), LNCS 4468, pp. 269-284, Paphos, Cyprus, 2007.
Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, in Proceedings of the 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07), pp. 37-48, Nice, France, 2007. superseded by [24] in proceedings
2006
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani, A Formal Account of Contracts for Web Services, in Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), Mario Bravetti, Manuel Núñez, and Gianluigi Zavattaro (editors), LNCS 4184, pp. 148-162, Vienna, Austria, 2006.
Luca Padovani, Stefano Zacchiroli, From Notation to Semantics: There and Back Again, in Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM'06), Jonathan M. Borwein and William M. Farmer (editors), LNAI 4108, pp. 194-207, Wokingham, UK, 2006.
Cosimo Laneve, Luca Padovani, Smooth Orchestrators, in Proceedings of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), Luca Aceto and Anna Ingólfsdóttir (editors), LNCS 3921, pp. 32-46, Vienna, Austria, 2006.
2005
Nadia Busi, Luca Padovani, A Distributed Implementation of Mobile Nets as Mobile Agents, in Proceedings of the 7th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), Martin Steffen and Gianluigi Zavattaro (editors), LNCS 3535, pp. 259-274, Athens, Greece, 2005.
Luca Padovani, Compilation of Generic Regular Path Expressions Using C++ Class Templates, in Proceedings of the 14th Conference on Compiler Construction (CC'05), Rastislav Bodik (editor), LNCS 3443, pp. 27-42, Edinburgh, Scotland, 2005.
2004
Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in the Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE'04), Gabor Karsai and Eelco Visser (editors), LNCS 3286, pp. 469-487, Vancouver, British Colombia, Canada, 2004.
Luca Padovani, Riccardo Solmi, An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics, in the Proceedings of the 3rd International Conference on Mathematical Knowledge Management (MKM'04), Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec (editors), LNCS 3119, pp. 302-316, Białowieża, Poland, 2004.
Luca Padovani, A Math Canvas for the GNOME Desktop, in the Proceedings of the 5th Annual GNOME User and Developer European Conference (GUADEC'04), Publication Series No. 107, ISSN 0806-5942, Agder University College, Kristiansand, Norway, 2004.
Luca Padovani, Interactive Editing of MathML Markup Using TeX Syntax, in Preprints for the 2004 Annual Meeting and in Proceedings of the International Conference on TeX, XML, and Digital Typography (TUG'04), Apostolos Syropoulos, Karl Berry, Yannis Haralambous, Baden Hughes, Steven Peter, and John Plaice (editors), LNCS 3130, pp. 125-138, Xanthi, Greece, 2004.
2003
Luca Padovani, On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions, in Proceedings of the 2nd International Conference on Mathematical Knowledge Management (MKM'03), Andrea Asperti, Bruno Buchberger, and James H. Davenport (editors), LNCS 2594, pp. 66-79, Bertinoro, Italy, 2003.
2002
Luca Padovani, A Standalone Rendering Engine for MathML, in Proceedings of the MathML International Conference (MathML'02), Chicago, Illinois, USA, 2002.
Yuzhen Xie, Stephen M. Watt, Luca Padovani, A Lisp Subset Based on MathML, in Proceedings of the MathML International Conference (MathML'02), Chicago, Illinois, USA, 2002.
2001
Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Mathematical Knowledge Management in HELM, in Proceedings of the 1st International Workshop on Mathematical Knowledge Management (MKM'01), Bruno Buchberger and Olga Caprotti (editors), RISC, A-4232 Schloss Hagenberg, Austria, 2001.
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, HELM and the Semantic Math-Web, in Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Richard J. Boulton and Paul B. Jackson (editors), LNCS 2152, pp. 59-74, Edinburgh, Scotland, 2001. superseded by [2] in journal papers
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, XML, Stylesheets and the Re-mathematization of Formal Content, in Proceedings of Extreme Markup Languages Conference (EXTREME'01), pp. 17-27, Montréal, Québec, Canada, 2001.
Paolo Casarini, Luca Padovani, The GNOME DOM Engine, in Proceedings of Extreme Markup Languages Conference (EXTREME'01), pp. 45-53, Montréal, Québec, Canada, 2001. superseded by [1] in journal papers
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Formal Mathematics on the Web, in Proceedings of the 8th International Conference `Crimea 2001': Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01), Vol. 1, pp. 342-346, Sudak, Ukraine, 9-17 June 2001.
2000
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Formal Mathematics in MathML, Session Presentation at the 1st MathML International Conference (MathML'00), Urbana-Champaign, Illinois, USA, 2000.
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Towards a Library of Formal Mathematics, Technical Report at 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'00), Portland, Oregon, USA, 2000.
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Content-Centric Logical Environments, Short Presentation at 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00), Santa Barbara, California, USA, 2000.

book chapters

Luca Padovani, Contract-based Discovery and Adaptation of Web Services, 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09), LNCS 5569, pp. 213-260, 2009.

edited books

Book cover

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (editors), Formal Methods for Web Services, LNCS 5569, 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09).

seminars

Behavioral subtyping, 1st International Summer School on Behavioural Types (BETTYSS'14), Lovran, Croatia, 30 June - 4 July 2014.
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs, NII Shonan Meeting (Shonan'14), Tokyo, Japan, 26-30 May 2014.
Un système de types pour prévenir les interblocages dans le π-calcul linéaire, Laboratoire d'Algorithmique, Complexité et Logique, 2014.
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs, BETTY WG/MC Meetings (BETTY'14), Grenoble, France, 13 April 2014.
Deadlock and lock freedom in the linear π-calculus, Dipartimento di Informatica, Università di Bologna, 2014
Fair Subtyping for Open Session Types, INRIA Sophia Antipolis Méditerranée, 2013.
Fair Testing and Fair Subtyping, Workshop su Contratti e Tipi Comportamentali (COTICO'12), Lucca, Italy, 2012.
Fair Subtyping for Multi-Party Session Types, Rencontre des groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR Informatique mathématique (LAC'11), Palaiseau, France, 2011.
Luca Padovani, Semantic Subtyping for Session Types, 1st Workshop on Behavioural Types (BTW'11), Lisbon, Portugal, 2011.
Luca Padovani, Contract-based Discovery and Adaptation of Web Services, Workshop on Security Oriented Formal Techniques (WSOFT'10), Pisa, Italy, 2010 and 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), Pisa, Italy, 2010.
Contracts for Web Services, Dipartimento di Informatica, Università di Torino, 2009.
A Taste of Carbon, Laboratoire Preuves, Programmes et Systèmes, 2008.
A Formal Account of Contracts for Web Services, INRIA Saclay, 2006.
PiDuce, Istituto di Scienze e Tecnologie dell'Informazione, Università di Urbino, 2005.
The Mathematical Markup Language and Web Technologies for Mathematics, Trieste, Italy, 2003.

dissertations

Luca Padovani, MathML Formatting, Ph.D. dissertation, Technical Report UBLCS-2003-3, Dipartimento di Informatica, Università di Bologna, 2003 (refereed by Robert Miner, John Pedersen, Stephen M. Watt).
Luca Padovani, Un linguaggio distribuito con agenti mobili: analisi progettuale e implementazione (A distributed language with mobile agents: design and implementation), Master thesis, 1998.

technical reports

Luca Padovani, Luca Novara, Types for Deadlock-Free Higher-Order Concurrent Programs.
Luca Padovani, Yet Another Type System for Lock-Free Processes.
Luca Padovani, Fair Subtyping for Open Session Types. Technical Report RT 146/13, Dipartimento di Informatica, Università di Torino, 2013.
Svetlana Jakšić, Luca Padovani, Exception Handling for Copyless Messaging, Technical Report RT 143/12, Dipartimento di Informatica, Università di Torino, 2012. superseded by [10] in journal papers
Ferruccio Damiani, Luca Padovani, Ina Schaefer, A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, Technical Report RT 142/12, Dipartimento di Informatica, Università di Torino, 2012.
Luca Padovani, Fair Subtyping for Multi-Party Session Types.
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, and Andrea Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, Technical Report RT 128/10, Dipartimento di Informatica, Università di Torino, 2010.
Luca Padovani, Stefano Zacchiroli, Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators, Technical Report UBLCS-2007-23, Dipartimento di Informatica, Università di Bologna, 2007.
Hanane Naciri, Luca Padovani, MathML Rendering/Browsing engine, Report D4.a, IST-2001-33562 MoWGLI.
Philippe Audebaud, Luca Padovani, Prototype functionalities for assisted annotation, Report D4.c, IST-2001-33562 MoWGLI.

white papers

Luca Padovani, The Path Expression Template Library.
Andrea Asperti, Luca Padovani, Mobile Computation vs. Mobile Code: What Implementative Issues?.
modified on Tue, 15 Jul 2014Flag Counter
«There are so many things that I don't understand.»
Daft Punk (Within)