„lambda-calculus“

Suchergebnisse

286 Treffer

• A Verified Cost Model for Call-By-Push-Value
  Chen, Zhuo Zoey ; Åman Pohjola, Johannes ; Rizkallah, Christine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
  Johann, Patricia ; Kohlhase, Michael 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Dynamic Lambda Calculus
  Kohlhase, Michael ; Kuschert, Susanna 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• From Lambda Calculus to Cybersecurity Through Program Analysis – Essays Dedicated to Chris Hankin on the Occasion of His Retirement
  2020 Springer International Publishing
• Lambdas, Transducers and MSO (Invited Talk)
  Colcombet, Thomas 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Funktionale Programmierung verstehen – Konzepte und Entwurfsmuster für guten Code
  Widman, Jack 2023 Rheinwerk Verlag
• A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
• Separating Terms by Means of Multi Types, Coinductively
  Lancelot, Adrienne 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantitative Types for the Functional Machine Calculus
  Heijltjes, Willem 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mechanized Undecidability of Higher-Order Beta-Matching
  Dudenhefner, Andrej 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• IMELL Cut Elimination with Linear Overhead
  Accattoli, Beniamino ; Sacerdoti Coen, Claudio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mirroring Call-By-Need, or Values Acting Silly
  Accattoli, Beniamino ; Lancelot, Adrienne 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Type System for L^p-Metric Sensitivity Analysis
  Sannier, Victor ; Baillot, Patrick 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions
  Dudenhefner, Andrej ; Pautasso, Daniele 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Meaningfulness and Genericity in a Subsuming Framework (Invited Talk)
  Kesner, Delia ; Arrial, Victor ; Guerrieri, Giulio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Note on Logical PERs and Reducibility. Logical Relations Strike Again!
  Gallier, Jean H. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs
  Barbarossa, Davide ; Pistone, Paolo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strict Ideal Completions of the Lambda Calculus
  Bahr, Patrick 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Objects and Subtyping in the Lambda-Pi-Calculus Modulo
  Cauderlier, Raphaël ; Dubois, Catherine 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Slightly Non-Linear Higher-Order Tree Transducers
  Nguyễn, Lê Thành Dũng (Tito) ; Vanoni, Gabriele 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik