People of Programming Languages An interview project in conjunction with POPL 2018 Interview with Simon Peyton-Jones Simon Peyton-Jones (Microsoft Research Cambridge) researches the implementations and applications of functional programming languages. He was heavily involved in the design of the Haskell programming language and the development of the Glasgow Haskell Compiler (GHC). We talk about s
People of Programming Languages An interview project in conjunction with POPL 2018 Interview with Ezgi Çiçek Ezgi Çiçek is a final year PhD student at Max Planck Institute for Software Systems (MPI-SWS) and Saarland University under the supervision of Deepak Garg. For her thesis work, she developed type-theoretic techniques for relational cost analysis. We talk about her path to getting integrated
15-816 Linear Logic Handouts The handout Linear Logic contains a complete set of notes as of the indicated date. This includes all incremental handouts with possible corrections and updates. Note that I do not correct incremental handouts on-line. Files are available in PDF format (default) and also in PostScript (additional link). Some external papers are not available electronically. Date Handou
People of Programming Languages An interview project in conjunction with POPL 2018 Interview with Xavier Leroy Xavier Leroy is a senior scientist at INRIA interested in the scientific aspects of programming. He leads the Gallium team on the design, formalization, and implementation of programming languages and systems. He is well known for being the primary developer of the OCaml programming langu
A Library of Parallel Algorithms This is the toplevel page for accessing code for a collection of parallel algorithms. The algorithms are implemented in the parallel programming language NESL and developed by the Scandal project. For each algorithm we give a brief description along with its complexity (in terms of asymptotic work and parallel depth). In many cases the NESL code is set up so you ca
Home Page for Charles Rosenberg
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く