Pure Subtype Systems | Lambda the Ultimate
Pure Subtype Systems, by DeLesley S. Hutchins: This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems) because the theory is based on subtyping, rather than typing. Proper types and typing are completely absent from the theory; the subtype relation is defined directly over ob
OCamlと順序付き線形型で効率のよいXML処理 (to be continued) - keigoiの日記
この記事は OCaml Advent Calendar 2012 の 24日目の記事です。 が、実際にアップロードしたのは2013年1月18日です。 本当はもっと実用的なネタを書く予定だったのですが、飽きた ので、いっそ思い切り趣味に走った記事を書くことにしました。 追記： 動作するものを github にアップロードしました。 https://github.com/keigoi/olt_ocaml 追記：ちゃんと書きませんでしたが、OCamlによるXML処理ができる実装が既に著者らによって公開されています。 http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/x-p/ 順序付き線形型とXML(木) 児玉・末永・小林による この論文 (日本語の文献) は、XMLなどの木構造を再帰的にトラバースするプログラムを、より効率のよいストリーム処理プログラムに変換
TuringConf
-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Visiting Scholar University of California, Berkeley dana.scott@cs.cmu.edu TURING CENTENNIAL CELEBRATION Princeton University, May 10-12, 2012 ACM TURING CENTENARY CELEBRATION San Francisco, June 15-16, 2012 UC BERKELEY LOGIC COLLOQUIUM Berkeley, August 24, 2012 Notes derived from the slides presented at th
フローチャートを復権させよう -- 2020年代のプログラミングへ - 檜山正幸のキマイラ飼育記 (はてなBlog)
「悟りやヒラメキがほんとに大キライだ 」という記事を書いた背景には、ユースケースの「主／副シナリオ」、「<<extend>>, <<include>>」とかの概念にウンザリしたことがあります。あれから後も、この件がどうも気にかかっていて、『ユースケースの適用：実践ガイド』（asin:4894711869）という本を恵比寿の有隣堂で見つけてすぐ購入しました。 この本には、僕が疑問に思っていた点が説明してあって、理解に役立ちました。ある程度は理解できた事と、その内容に賛同するかどうかは別問題でして、（理解してもなお）納得のいかない点は多々あります。その話は、まーいずれするかも。 ところで、この『ユースケースの適用：実践ガイド』の第5章「ユースケースを図で表現する」の冒頭に次のような文があります。 これまで、長い時間をかけてユースケースのテキストを書いてきました。しかし、ことわざにもあるとおり、
Extensible Programming with First-Class Cases | Lambda the Ultimate
Extensible Programming with First-Class Cases, by Matthias Blume, Umut A. Acar, and Wonseok Chae: We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to easily extend existing code with new cases. In fact, such extensions do not require any changes to code that adheres to a part
ICFP 2011 : The 16th ACM SIGPLAN International Conference on Functional Programming
ICFP 2011 The 16th ACM SIGPLAN International Conference on Functional Programming On the Bright Side of Type Classes: Instance Arguments in Agda Dominique Devriese and Frank Piessens (K.U.Leuven) Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna (CNRS - Université Paris Diderot) and Zhiwu Xu (Université Paris Diderot and Institute of Software Chinese Academy of Sc
What's new in purely functional data structures since Okasaki?
Since Chris Okasaki's 1998 book "Purely functional data structures", I haven't seen too many new exciting purely functional data structures appear; I can name just a few: IntMap (also invented by Okasaki in 1998, but not present in that book) Finger trees (and their generalization over monoids) There are also some interesting ways of implementing already known datastructures, such as using "nested
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Wadler's Blog: The Implicit Calculus: A New Foundation for Generic Programming
ICFP 2014 : Accepted papers
POPL 2014: 41st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
Types for Flexible Objects | Lambda the Ultimate
Dynamic Region Inference | Lambda the Ultimate
Reddit - Dive into anything
Yet Another Reason Not To Be Lazy Or Imperative
Redirecting…
擬データと関数による並行プロセス群の記述 | CiNii Research
Wadler's Blog: The Arrow Calculus
http://personal.cis.strath.ac.uk/~adam/type-inference/type-inference.pdf
Photo Tourism: Microsoft Research, Interactive Visual Media Group