default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th TLCA 2013: Eindhoven, The Netherlands
- Masahito Hasegawa
:
Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7941, Springer 2013, ISBN 978-3-642-38945-0
Type-Directed Compilation in the Wild: Haskell and Core
- Simon L. Peyton Jones:
Type-Directed Compilation in the Wild: Haskell and Core. 1 - Hugo Herbelin:
Proving with Side Effects. 2 - Damiano Mazza:
Non-linearity as the Metric Completion of Linearity. 3-14
Contributed Papers
- Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts:
System F i . 15-30 - Federico Aschieri, Margherita Zorzi:
Non-determinism, Non-termination and the Strong Normalization of System T. 31-47 - Nick Benton, Martin Hofmann, Vivek Nigam:
Proof-Relevant Logical Relations for Name Generation. 48-60 - Stefano Berardi, Makoto Tatsuta:
Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics. 61-76 - Valentin Blot:
Realizability for Peano Arithmetic with Winning Conditions in HON Games. 77-92 - Flavien Breuvart:
The Resource Lambda Calculus Is Short-Sighted in Its Relational Model. 93-108 - Pierre Clairambault:
Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction. 109-124 - Boris Düdder, Moritz Martens, Jakob Rehof:
Intersection Type Matching with Subtyping. 125-139 - Daniel Fridlender, Miguel Pagano:
A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation. 140-155 - Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch:
Small Induction Recursion. 156-172 - Nicolai Kraus, Martín Hötzel Escardó, Thierry Coquand, Thorsten Altenkirch:
Generalizations of Hedberg's Theorem. 173-188 - Sylvain Salvati, Igor Walukiewicz:
Using Models to Model-Check Recursive Schemes. 189-204 - Ulrich Schöpp:
On Interaction, Continuations and Defunctionalization. 205-220 - Paula Severi, Fer-Jan de Vries:
Completeness of Conversion between Reactive Programs for Ultrametric Models. 221-235 - Chuangjie Xu, Martín Hötzel Escardó:
A Constructive Model of Uniform Continuity. 236-249
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-27 17:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
