Real World Functional Programming
Why functional programming? Code with less side effects Code that is more expressive Code that is easy to parallelize This presentation will show you how you can become a better programmer by learning functional programming and using those concepts and constructs in your day to day work. Most of my examples will be in C# but it should be comprehensible by any Java programmer also. Scenario: Averag
Haskell - Wikibooks, open books for an open world
Haskell is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. Haskell is a functional programming language. It is distinct in a few ways: Haskell is pure. A fu
ICFP Programming Contest 2011: Official Site: Task description - contest starts now!
Friday, June 17, 2011 Task description - contest starts now! [Remark: This post was last updated on 10:00 June 17 Friday UTC. Search it for "Update" on your browser.] Welcome to the ACM SIGPLAN ICFP Programming Contest 2011! The task this year is to write a program that plays the card game Lambda: The Gathering (LTG for short). Rules Each match of LTG is played by two programs (player 0 and player
Asai Laboratory, Ochanomizu University
継続計算に対する仮想機械の導出 定理証明系Coqを使った各種継続計算の性質の証明 対称 λ 計算 shift/resetを含む部分評価器の実装 MinCamlコンパイラ，Caml Lightにおけるshift/resetの実装 証明木(ほか)の可視化 お茶大情報科学科の時間割自動作成 『四則演算インタプリタを作ろう！』 四則演算インタープリタをつくりましょう 末尾呼び出し(tail call)と継続渡し形式(Continuation Passing Style) lexer（字句解析器）と parser（構文解析器）の作成 (サンプルコード) 局所変数の導入 関数(closure)の追加 大域脱出(exit)の追加 再帰関数の追加 FelleisenのCオペレータ リストの追加 Promptの導入 control/prompt から shift/reset への拡張 対称 λ 計算 Coq
Oregon Programming Languages Summer School
Oregon Programming Languages Summer School — June 15-25, 2010 Logic, Languages, Compilation, and Verification Speakers Organizers Participants Curriculum Lecture Schedule The program consisted of 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research. Some of the lectures will assume interactive sessions using Coq, a proof assistan
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
On Computational Semantics, Logic and Linguistics - An Interview with Jan van Eijck
SIGSEM
Really understanding effects