GitHub - tomprimozic/type-systems: Implementations of various type systems in OCaml.

テクノロジーカテゴリーの変更を依頼記事元:

github.com/tomprimozic

9 usersがブックマークコメント

コメント

2

記事へのコメント2件

注目コメント
新着コメント

igrep “Implementations of various type systems in OCaml.”

2015/10/31 リンク

theatrical "It is meant to help out anyone who wants to learn more about advanced type systems and type inference or experiment by extending or implementing their own"

ocaml

2014/08/19 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

GitHub - tomprimozic/type-systems: Implementations of various type systems in OCaml.

You signed in with another tab or window. Reload to refresh your session. You signed out in anoth... You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

ocaml
type

ブックマークしたユーザー

komlow2018/05/15
masterq2016/09/12
siburu2016/03/24
igrep2015/10/31
u_wot_m82014/08/22
theatrical2014/08/19
xef2014/06/01

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx