サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
都知事選
prl.ccs.neu.edu
2017-08-28 :: Yoneda, coYoneda, category theory, compilers, closure conversion, math By: Max New The continuation-passing style transform (cps) and closure conversion (cc) are two techniques widely employed by compilers for functional languages, and have been studied extensively in the compiler correctness literature. Interestingly, typed versions of each can be proven to be equivalence preserving
2016-05-24 :: garbage collection, latency, instrumentation, haskell, ghc, ocaml, racket By: Gabriel Scherer James Fisher has a blog post on a case where GHC’s runtime system imposed unpleasant latencies on their Haskell program: Low latency, large working set, and GHC’s garbage collector: pick two of three The blog post proposes a very simple, synthetic benchmark that exhibits the issue — basicall
このページを最初にブックマークしてみませんか?
『prl.ccs.neu.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く