啓小笠原

65 Followers

10 SlideShares 65 Followers 52 Folgens

10 SlideShares 65 Followers 52 Folgens

alloy #alloy fp ats2 functional programming fsharp gadts ocaml

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

自前言語を仕事に使う話

Vor 2 Jahren • 333 Aufrufe

Alloy論理データモデル

Vor 8 Jahren • 2248 Aufrufe

函数プログラミングのエッセンスと考え方

Vor 9 Jahren • 2853 Aufrufe

線形型のある言語でLEDを光らせる

Vor 9 Jahren • 2339 Aufrufe

Alloy analyzer

Vor 9 Jahren • 2068 Aufrufe

Alloy Analyzer LT

Vor 9 Jahren • 2119 Aufrufe

状態遷移機械を構成するための新しいイベントコンビネーターの提案(PPL2014 カテ3ポスター)

Vor 10 Jahren • 2734 Aufrufe

ぱわわっぷOCaml

Vor 12 Jahren • 1634 Aufrufe

関数型言語&形式的手法セミナー(3)

Vor 12 Jahren • 3453 Aufrufe

GADTブランチの今

Vor 13 Jahren • 6541 Aufrufe