„Gradual typing“

Suchergebnisse

28 Treffer

• Concrete Types for TypeScript
  Richards, Gregor ; Zappa Nardelli, Francesco ; Vitek, Jan 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Practical Gradual Typing
  Takikawa, Asumu ; Feltey, Daniel ; Dean, Earl ; Flatt, Matthew ; Findler, Robert Bruce ; Tobin-Hochstadt, Sam ; Felleisen, Matthias 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Complement to Blame
  Wadler, Philip 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refined Criteria for Gradual Typing
  Siek, Jeremy G. ; Vitousek, Michael M. ; Cimini, Matteo ; Boyland, John Tang 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Compilers for a Multi-Language World
  Ahmed, Amal 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Gradual Polymorphic Type System with Subtyping for Prolog
  Hadjichristodoulou, Spyros 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Space-efficient gradual typing
  Herman, David ; Tomb, Aaron ; Flanagan, Cormac
• Label dependent lambda calculus and gradual typing
  Fu, Weili ; Krause, Fabian ; Thiemann, Peter 2021 Universität