-
1
Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'
प्रकाशित 2016विषय: “…Programming languages (Electronic computers)--Semantics…”
Dataset -
2
Termination and semantics of probabilistic lambda calculus
प्रकाशित 2024विषय: “…Programming languages (Electronic computers)--Semantics…”
थीसिस -
3
Procedural reflection in programming languages
प्रकाशित 2005विषय: “…Programming languages (Electronic computers) Semantics…”
पूर्ण पाठ प्राप्त करें
थीसिस