Maico Leberle on Muck Rack

Maico Leberle

Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Maico

Contact Maico, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

[2309.12261] Strong Call-by-Value and Multi Types

|
By Giulio Guerrieri, Maico Leberle
| arxiv.org
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (539) Issue with article?

[2104.13979] Semantic Bounds and Strong Call-by-Value Normalization

|
By Giulio Guerrieri, Maico Leberle
| arxiv.org
[Submitted on 28 Apr 2021 ( v1 ), last revised 3 Jul 2023 (this version, v2)] Title:Semantic Bounds and Strong Call-by-Value Normalization Download a PDF of the paper titled Semantic Bounds and Strong Call-by-Value Normalization, by Beniamino Accattoli and 2 other authors Download PDF Abstract: This paper explores two topics at once: the use of denotational semantics to bound the evaluation length of functional programs, and the semantics of strong (that is, possibly under abstractions)...
Open in Who Shared Issue with article?
See all 2 articles

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Get in touch with Maico

Contact Maico, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack
 •  Privacy  •  Terms  •  Security and Legal  •   •   •   • 

© 2026 Muck Rack

SOC 2® Certified