Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

44 résultats

	Pour les 44 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 Page suivante	triés par 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

		Abstract Machines for Open Call-by-Value Beniamino Accattoli , Giulio Guerrieri Science of Computer Programming, 2019, 184, ⟨10.1016/j.scico.2019.03.002⟩ Article dans une revue hal-02415780v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Negligible and Yet Subtle Cost of Pattern Matching Beniamino Accattoli , Bruno Barras Programming Languages and Systems - 15th Asian Symposium, Nov 2017, Suzhou, China Communication dans un congrès hal-01675369v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Factorize Factorization Beniamino Accattoli , Claudia Faggian , Giulio Guerrieri CSL 2021 - 29th EACSL Annual Conference on Computer Science Logic, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.22⟩ Communication dans un congrès hal-03044338v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Factorization and Normalization, Essentially Beniamino Accattoli , Claudia Faggian , Giulio Guerrieri APLAS 2019 - 17th Asian Symposium on Programming Languages and Systems, Dec 2019, Bali, Indonesia. ⟨10.1007/978-3-030-34175-6_9⟩ Communication dans un congrès hal-02411556v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the Relative Usefulness of Fireballs Beniamino Accattoli , Claudio Sacerdoti Coen 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.23⟩ Communication dans un congrès hal-01244833v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Proof pearl: abella formalization of lambda-calculus cube property Beniamino Accattoli Second international conference on Certified Programs and Proofs, Dec 2012, Kyoto, Japan Communication dans un congrès hal-00780337v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		(Leftmost-outermost) beta reduction is invariant, indeed Beniamino Accattoli , Ugo Dal Lago Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩ Article dans une revue hal-01337712v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Environments and the Complexity of Abstract Machines. Beniamino Accattoli , Bruno Barras The 19th International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131855⟩ Communication dans un congrès hal-01675358v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Fresh Look at the λ-Calculus Beniamino Accattoli FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.1⟩ Communication dans un congrès hal-02415786v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Crumbling Abstract Machines Beniamino Accattoli , Andrea Condoluci , Giulio Guerrieri , Claudio Sacerdoti Coen PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, Oct 2019, Porto, Portugal. ⟨10.1145/3354166.3354169⟩ Communication dans un congrès hal-02415766v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Types by Need Beniamino Accattoli , Giulio Guerrieri , Maico Leberle ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17184-1_15⟩ Communication dans un congrès hal-02415758v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Tight typings and split bounds Beniamino Accattoli , Stéphane Graham-Lengrand , Delia Kesner 23rd ACM International Conference on Functional Programming, Sep 2018, St Louis, United States. pp.1 - 30, ⟨10.1145/3236789⟩ Communication dans un congrès hal-01936141v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formalizing Functions as Processes Beniamino Accattoli , Horace Blanc , Claudio Sacerdoti Coen ITP 2023 - 14th International Conference on Interactive Theorem Proving, Jul 2023, Bialystok, Poland. ⟨10.4230/LIPICS.ITP.2023.5⟩ Communication dans un congrès hal-04280546v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Machinery of Interaction Beniamino Accattoli , Ugo Dal Lago , Gabriele Vanoni PPDP '20 - 22nd International Symposium on Principles and Practice of Declarative Programming, Sep 2020, Bologna, Italy. pp.1-15, ⟨10.1145/3414080.3414108⟩ Communication dans un congrès hal-03089342v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the Invariance of the Unitary Cost Model for Head Reduction Beniamino Accattoli , Ugo Dal Lago 23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan Communication dans un congrès hal-00780349v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Useful MAM, a Reasonable Implementation of the Strong $\lambda$-Calculus Beniamino Accattoli 23rd International Workshop on Logic, Language, Information, and Computation (WoLLIC 2016), Aug 2016, Puebla, Mexico. pp.1 - 21, ⟨10.1007/978-3-662-52921-8_1⟩ Communication dans un congrès hal-01425534v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Complexity of Abstract Machines Beniamino Accattoli Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Jun 2016, Porto, Portugal. pp.1 - 15, ⟨10.4204/EPTCS.235.1⟩ Communication dans un congrès hal-01425560v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Beta Reduction is Invariant, Indeed Beniamino Accattoli , Ugo Dal Lago Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603105⟩ Communication dans un congrès hal-01091551v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Diamond Machine for Strong Evaluation Beniamino Accattoli , Pablo Barenbaum APLAS 2023 - The 21st Asian Symposium on Programming Languages and Systems, Nov 2023, Taipei, Taiwan Communication dans un congrès hal-04395635v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic Beniamino Accattoli Logical Methods in Computer Science, 2023, Volume 19, Issue 4, ⟨10.46298/lmcs-19(4:23)2023⟩ Article dans une revue hal-04374165v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Types of Fireballs Beniamino Accattoli , Giulio Guerrieri APLAS 2018 - 16th Asian Symposium on Programming Languages and System, Dec 2018, Wellington, New Zealand Communication dans un congrès hal-01967531v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus Beniamino Accattoli , Delia Kesner Logical Methods in Computer Science, 2012, 8 (1), pp.44. ⟨10.2168/LMCS-8(1:28)2012⟩ Article dans une revue hal-00780319v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Proof-Nets and the Call-by-Value Lambda-Calculus Beniamino Accattoli Seventh Workshop on Logical and Semantic Frameworks, with Applications, Sep 2012, Rio de Janeiro, Brazil. ⟨10.4204/EPTCS.113.5⟩ Communication dans un congrès hal-01112158v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Strong Distillery Beniamino Accattoli , Pablo Barenbaum , Damiano Mazza Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Nov 2015, Pohang, South Korea. pp.231-250, ⟨10.1007/978-3-319-26529-2_13⟩ Communication dans un congrès hal-01244838v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Strong Call-by-Value and Multi Types Beniamino Accattoli , Giulio Guerrieri , Maico Leberle ICTAC 2023 - 20th International Colloquium on Theoretical Aspects of Computing, Dec 2023, Lima, Peru Communication dans un congrès hal-04395549v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Open Call-by-Value Beniamino Accattoli , Giulio Guerrieri 14th Asian Symposium on Programming Languages and Systems (APLAS), Nov 2016, Hanoi, Vietnam. pp.206 - 226, ⟨10.1007/978-3-319-47958-3_12⟩ Communication dans un congrès hal-01425465v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Useful Open Call-By-Need Beniamino Accattoli , Maico Leberle CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Gottingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.4⟩ Communication dans un congrès hal-03912452v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Sharing a Perspective on the lambda Calculus Beniamino Accattoli Onward! 2023 - ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Oct 2023, Cascais, Portugal. pp.179-190, ⟨10.1145/3622758.3622884⟩ Communication dans un congrès hal-04280550v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Functional Pearl: The Distributive $\lambda$-Calculus Beniamino Accattoli , Alejandro Díaz-Caro FLOPS 2020 - 15th International Symposium on Functional and Logic Programming, Sep 2020, Akita, Japan. pp.33-49, ⟨10.1007/978-3-030-59025-3_3⟩ Communication dans un congrès hal-03089254v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Multi Types and Reasonable Space Beniamino Accattoli , Ugo Dal Lago , Gabriele Vanoni Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.799-825. ⟨10.1145/3547650⟩ Article dans une revue hal-03912436v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats

Abstract Machines for Open Call-by-Value

The Negligible and Yet Subtle Cost of Pattern Matching

Factorize Factorization

Factorization and Normalization, Essentially

On the Relative Usefulness of Fireballs

Proof pearl: abella formalization of lambda-calculus cube property

(Leftmost-outermost) beta reduction is invariant, indeed

Environments and the Complexity of Abstract Machines.

A Fresh Look at the λ-Calculus

Crumbling Abstract Machines

Types by Need

Tight typings and split bounds

Formalizing Functions as Processes

The Machinery of Interaction

On the Invariance of the Unitary Cost Model for Head Reduction

The Useful MAM, a Reasonable Implementation of the Strong $\lambda$-Calculus

The Complexity of Abstract Machines

Beta Reduction is Invariant, Indeed

A Diamond Machine for Strong Evaluation

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

Types of Fireballs

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

Proof-Nets and the Call-by-Value Lambda-Calculus

A Strong Distillery

Strong Call-by-Value and Multi Types

Open Call-by-Value

Useful Open Call-By-Need

Sharing a Perspective on the lambda Calculus

Functional Pearl: The Distributive $\lambda$-Calculus

Multi Types and Reasonable Space