-
1
Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'
Baskı/Yayın Bilgisi 2016Konular: “…Programming languages (Electronic computers)--Semantics…”
Dataset -
2
Termination and semantics of probabilistic lambda calculus
Baskı/Yayın Bilgisi 2024Konular: “…Programming languages (Electronic computers)--Semantics…”
Tez -
3
Procedural reflection in programming languages
Baskı/Yayın Bilgisi 2005Konular: “…Programming languages (Electronic computers) Semantics…”
Tam Metin Erişim
Tez