„Substructural type systems“

Suchergebnisse

4 Treffer

• A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact)
  de Muijnck-Hughes, Jan ; Brady, Edwin ; Vanderbauwhede, Wim
• A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl)
  de Muijnck-Hughes, Jan ; Brady, Edwin ; Vanderbauwhede, Wim 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Substructural Parametricity
  Aberlé, C. B. ; Crary, Karl ; Martens, Chris ; Pfenning, Frank 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Adjoint Natural Deduction
  Jang, Junyoung ; Roshal, Sophia ; Pfenning, Frank ; Pientka, Brigitte 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik