On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" | Lambda the Ultimate
On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" From F to DOT: Type Soundness Proofs with Definitional Interpreters by Tiark Rompf and Nada Amin: Scala's type system unifies aspects of ML-style module systems, object-oriented, and functional programming paradigms. The DOT (Dependent Object Types) family of calculi has been proposed as a new theo
Progress on Gradual Typing | Lambda the Ultimate
Among many interesting works, the POPL 2016 papers have a bunch of nice articles on Gradual Typing. The Gradualizer: a methodology and algorithm for generating gradual type systems The Gradualizer: a methodology and algorithm for generating gradual type systems by Matteo Cimini, Jeremy Siek 2016 Many languages are beginning to integrate dynamic and static typing. Siek and Taha offered gradual typi
Verified Programming in Guru | Lambda the Ultimate
Verified Programming in Guru is a tutorial introduction to Guru: GURU is a pure functional programming language, which is similar in some ways to Caml and Haskell. But GURU also contains a language for writing formal proofs demonstrating the properties of programs. So there are really two languages: the language of programs, and the language of proofs. In comparison to Coq: GURU is inspired largel
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Erik Meijer started a discussion on Domain Specific Languages | Lambda the Ultimate