Tweag I/O - How to make your papers run: Executable formal semantics for your language
How to make your papers run: Executable formal semantics for your language This post will show a simple example of how to use Makam, a very powerful, not yet widely-known, programming language to specify executable semantics of a simply typed lambda calculus with recursion and numbers (PCF). I'm using Makam during my internship at Tweag to specify and experiment with the design of a new configurat
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.tweag.io/posts/2020-03-12-expl-spec.html/
https://www.tweag.io/posts/2020-01-16-data-vs-control.html/
https://www.tweag.io/posts/2020-01-09-mcmc-intro2.html/
https://www.tweag.io/posts/2019-12-19-asterius-diagrams.html/
https://www.tweag.io/posts/2019-11-08-monad-bayes-2.html/
https://www.tweag.io/posts/2019-10-30-porcupine.html/
https://www.tweag.io/posts/2019-10-11-ormolu-first-release.html/
https://www.tweag.io/posts/2019-09-20-monad-bayes-1.html/
https://www.tweag.io/posts/2019-06-27-cpp-considered-harmful.html/
https://www.tweag.io/posts/2019-05-27-ormolu.html/
https://www.tweag.io/posts/2019-01-23-jupyterlab-ihaskell.html/
Tweag I/O - capability: the ReaderT pattern without boilerplate
https://www.tweag.io/posts/2018-03-08-linear-sort.html/
https://www.tweag.io/posts/2017-11-29-linear-jvm.html/
https://www.tweag.io/posts/2017-10-05-streaming2.html/
https://www.tweag.io/posts/2017-09-27-array-package.html/
https://www.tweag.io/posts/2017-09-22-inline-java-ghc-plugin.html/
https://www.tweag.io/posts/2017-08-24-linear-types-packed-data.html/
https://www.tweag.io/posts/2017-08-03-linear-typestates.html/