„Gradual typing“

Suchergebnisse

1.000+ Treffer

• Gradual security typing
  Fennell, Luminous ; Thiemann, Peter 2018 Universität
• Learning Gradual Typing Performance
  Khan, Mohammad Wahiduzzaman ; Chen, Sheng ; He, Yi 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Type-Directed Operational Semantics for Gradual Typing (Artifact)
  Ye, Wenjia ; Oliveira, Bruno C. d. S. ; Huang, Xuejing
• Blame for Null (Artifact)
  Nieto, Abel ; Rapoport, Marianna ; Richards, Gregor ; Lhoták, Ondřej
• KafKa: Gradual Typing for Objects (Artifact)
  Chung, Benjamin ; Li, Paley ; Nardelli, Francesco Zappa ; Vitek, Jan
• Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)
  Williams, Jack ; Morris, J. Garrett ; Wadler, Philip ; Zalewski, Jakub
• The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)
  Siek, Jeremy 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)
  Fennell, Luminous ; Thiemann, Peter
• Type-Directed Operational Semantics for Gradual Typing
  Ye, Wenjia ; Oliveira, Bruno C. d. S. ; Huang, Xuejing 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Gradual Program Analysis for Null Pointers
  Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstracting Gradual References (SCICO Journal-first)
  Toro, Matías ; Tanter, Éric 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Space-Efficient Gradual Typing in Coercion-Passing Style
  Tsuda, Yuya ; Igarashi, Atsushi ; Tabuchi, Tomoya 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Blame for Null
  Nieto, Abel ; Rapoport, Marianna ; Richards, Gregor ; Lhoták, Ondřej 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Dynamic Practice and Static Theory of Gradual Typing
  Greenberg, Michael 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Blame Tracking and Type Error Debugging
  Chen, Sheng ; Campora III, John Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• KafKa: Gradual Typing for Objects
  Chung, Benjamin ; Li, Paley ; Zappa Nardelli, Francesco ; Vitek, Jan 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Call-by-Name Gradual Type Theory
  New, Max S. ; Licata, Daniel R. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
  Williams, Jack ; Morris, J. Garrett ; Wadler, Philip ; Zalewski, Jakub 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Retargeting Gradual Typing (Invited Talk)
  Tate, Ross 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Migratory Typing: Ten Years Later
  Tobin-Hochstadt, Sam ; Felleisen, Matthias ; Findler, Robert ; Flatt, Matthew ; Greenman, Ben ; Kent, Andrew M. ; St-Amour, Vincent ; Strickland, T. Stephen ; Takikawa, Asumu 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik