„PLT Redex“

Suchergebnisse

2 Treffer

• Redex2Coq: Towards a Theory of Decidability of Redex’s Reduction Semantics
  Soldevila, Mallku ; Ribeiro, Rodrigo ; Ziliani, Beta 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Object Inheritance Without Classes (Artifact)
  Jones, Timothy ; Homer, Michael