お知らせ 【グループ管理者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催するグループを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

このエントリーをはてなブックマークに追加

10月

10

TaPL 読書会 #14

証明中心でピアスの型システム入門を読む会

Hashtag :#TaPLNagoya
Registration info

Sicss Society枠

Free

FCFS
0/6

一般枠

Free

FCFS
0/10

Description

内容

TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。

ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2

今回

§11.5 Let束縛

持ち物

型システム入門 (無ければ隣の人に見せてもらえるかも)

参加枠について

"Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

No comments yet.

Group

Sicss Society Public Events

Sicss Society主催の勉強会等

Number of events 49

Members 73

Ended

2018/10/10(Wed)

18:45
20:45

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

Registration Period
2018/10/10(Wed) 18:45 〜
20:45

Location

来栖川電算

名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階

Attendees(0)

No attendees yet.

Attendees (0)