„Higher-Order Contracts“

Suchergebnisse

3 Treffer

• Higher-order contracts for JavaScript
  Keil, Roman Matthias ; Thiemann, Peter 2018 Universität
• TreatJS: Higher-Order Contracts for JavaScript (Artifact)
  Keil, Matthias ; Thiemann, Peter
• TreatJS: Higher-Order Contracts for JavaScripts
  Keil, Matthias ; Thiemann, Peter 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik