A Tutorial Implementation of a Dependently Typed Lambda Calculus
A Tutorial Implementation of a Dependently Typed Lambda Calculus Andres Löh, Conor McBride and Wouter Swierstra We present the type rules for a dependently-typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary to shift from a simply-typed lambda calculus to the dependently-typed lambda calculus. We also describe how to extend o
Martin Erwig's Home Page
Research My research interests are centered around the following topics: Language Design and Domain-Specific Languages Functional Programming Visual Languages CS Education An overview of some of my research projects can be found here. Activities I am an Editorial Board Member of the Journal of Computer Languages, an Associate Editor of the Journal of Visual Language and Computing, and a member of
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.haskell.org/~simonmar/bib/bib.html
