Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 16 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00903839v1 Communication dans un congrès Dariusz Biernacki, Sergueï Lenglet. Environmental Bisimulations for Delimited-Control Operators Chung-chieh Shan. APLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Dec 2013, Melbourne, Australia. Springer, 8301, pp.333-348, 2013, LNCS; APLAS 13
	hal-00907166v1 Communication dans un congrès Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet et al. Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, 2014, <10.1145/2535838.2535840>
	hal-01119941v1 Pré-publication, Document de travail Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau. A faithful encoding of programmable strategies into term rewriting systems 2015
	hal-00860954v1 Communication dans un congrès Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok. Proving termination of evaluation for System F with control operators de'Liquoro, Ugo and Saurin, Alexis. COS2013 - First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. Open Publishing Association, 127, pp.15-29, 2013, Electronic Proceedings in Theoretical Computer Science; Proceedings First Workshop on Control Operators and their Semantics. <10.4204/EPTCS.127.2>
	hal-00862189v1 Pré-publication, Document de travail Dariusz Biernacki, Sergueï Lenglet. Environmental Bisimulations for Delimited-Control Operators Long version of the corresponding APLAS13 paper. 2013
	hal-00926100v2 Rapport Dariusz Biernacki, Sergueï Lenglet. Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus [Research Report] RR-8447, INRIA. 2014
	hal-01168956v1 Communication dans un congrès Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau. A faithful encoding of programmable strategies into term rewriting systems Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, <10.4230/LIPIcs.RTA.2015.74>
	hal-01335959v1 Communication dans un congrès Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. 52, LIPIcs. <10.4230/LIPIcs.FSCD.2016.9>
	hal-01207112v2 Pré-publication, Document de travail Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. Bisimulations for Delimited-Control Operators Accepted for publication at Information and Computation. 2017
	hal-01479030v1 Pré-publication, Document de travail Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau. Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems Accepted for publication at LMCS Long version of the corresponding RTA-TLCA 15 paper. 2017
	hal-01305137v3 Rapport Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation [Research Report] RR-8905, Inria. 2016
	hal-01168865v1 Rapport Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics [Research Report] RR-8750, Inria. 2015, pp.31
	hal-01192699v1 Communication dans un congrès Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. <10.4230/LIPIcs.CONCUR.2015.212>
	hal-01479035v1 Communication dans un congrès Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous et al. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines LICS 2017, Jun 2017, Reykjavik, Iceland. Proceedings of LICS 2017
	hal-01507625v1 Rapport Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous et al. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines [Research Report] RR-9052, Inria. 2017
	hal-01080960v1 Communication dans un congrès Dariusz Biernacki, Sergueï Lenglet. Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus Mathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. 308, pp.49 - 64, 2014, <10.1016/j.entcs.2014.10.004>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 16 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM