A PolyTime Functional Language from Light linear logic

Patrick Baillot; Virgile Mogbil; Marco Gaboardi

hal-00488365, version 1

A PolyTime Functional Language from Light linear logic

Patrick Baillot () ¹, Virgile Mogbil ², Marco Gaboardi ³

19th European Symposium on Programming (ESOP 2010) 6012 (2010) pp. 104-124

1: Laboratoire de l'Informatique du Parallélisme (LIP)
Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I
2: Laboratoire d'informatique de Paris-nord (LIPN)
CNRS : UMR7030 – Université Paris XIII - Paris Nord
3: Dipartimento di Informatica [Torino]
Università di Torino

hal-00488365, version 1
http://hal.archives-ouvertes.fr/hal-00488365
oai:hal.archives-ouvertes.fr:hal-00488365
From: Patrick Baillot <>
Submitted on: Tuesday, 1 June 2010 18:34:07
Updated on: Friday, 8 March 2013 15:26:47

See detailed view

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="hal-00488365"><analytic>
<author><persName><forename>Patrick</forename><surname>Baillot</surname></persName>
<affiliation>
<orgName type="laboratory">LIP</orgName>
<orgName type="team">Laboratoire de l'Informatique du Parallélisme</orgName>
<country>FR</country>
<orgName type="institution">Université de Lyon</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
</affiliation>
</author>
<author><persName><forename>Virgile</forename><surname>Mogbil</surname></persName>
<affiliation>
<orgName type="laboratory">LIPN</orgName>
<orgName type="team">Laboratoire d'informatique de Paris-nord</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7030</orgName>
<orgName type="institution">Université Paris XIII - Paris Nord</orgName>
</affiliation>
</author>
<author><persName><forename>Marco</forename><surname>Gaboardi</surname></persName>
<affiliation>
<orgName type="team">Dipartimento di Informatica [Torino]</orgName>
<country>IT</country>
<orgName type="institution">Università di Torino</orgName>
</affiliation>
</author>
<title type="main" level="a">A PolyTime Functional Language from Light linear logic</title></analytic><monogr><title level="m" type="main">Programming Languages and Systems; Proceedings of 19th European Symposium on Programming (ESOP 2010)</title><meeting>19th European Symposium on Programming (ESOP 2010)</meeting><imprint><publisher>Springer</publisher><pubPlace><settlement>Paphos</settlement><country>Cyprus</country></pubPlace><biblScope type="publicationDate">2010-03-20</biblScope><biblScope type="vol">6012</biblScope><biblScope type="pp">pp. 104-124</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00488365</idno></biblStruct>
</listBibl>
</listBibl>