Kleenk
Quickly access all your papers Kleenk is about spreading your research results and we give you quick access to your papers, wherever they are. We’ve started with a few integrations such as Mendeley, Springer and PLoS but much more are on their way. Please let us know what you need and we’ll do our best. Create links with other publications When you create a kleenk with a paper of yours in becomes
Perspective in Logics, Lecture Notes in Logic 無料化 - あいまいな本日の私 blog
id:nuhsnuh さん経由。知っている人は知っている話でしょうが。 ASLで編集され、Springerから出版されていた ”Perspective in logics"シリーズが、なんと Project Euclid で無料公開されていました。ページはこちら。内訳は Computability in Analysis and Physics; Marian B. Pour-El, J. Ian Richards (1989) Higher Recursion Theory; Gerald E. Sacks (1990) Metamathematics of First-Order Arithmetic; Petr Hájek, Pavel Pudlák (1998) Essential Stability Theory; Steven Buechler (1996) Proper an
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
A Note on Declarative Programming Paradigms and the Future of Definitional Programming
UtbildningForskningSamarbeta med ossOm ChalmersAktuelltInstitutioner InstitutionenData- och informationsteknikVi bedriver forskning och utbildning inom AI, cybersäkerhet, interaktionsdesign, software engineering, computing science och datateknik – från grundforskning till direkta tillämpningar. Vår utbildning rustar studenter för framtiden, samtidigt som vår forskning sker i nära samverkan med när
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.haskell.org/~simonmar/bib/bib.html
