Login or Register

Recent searches

No recent searches

Search options

Only available when logged in.
Vivaldi Social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Vivaldi Social is part of the Mastodon network and is hosted in Iceland by the makers of Vivaldi Browser. Everyone is welcome to join.

Administered by:

Server stats:

9.2K
active users

Vivaldi Social: AboutStatusProfiles directoryPrivacy policy

Mastodon: About · Keyboard shortcutsView source codev4.3.7+vivaldimod

mizunashi

後 directional typing と HM 推論、題材が System-F だからこそ比べられることが多そうだが、directional typing 自体は別に多相型専用というわけではなく、色々応用が効く型推論のモデル化手法だが、HM type system は多相型題材の場合に基礎とできる完成されたシステムなので、そもそも比較するものでもないという

Feb 09, 2023, 01:08 PM·Quiet public·TheDesk(PC)
1boost·1favorite
ExploreLive feeds
About