Home Blog

Tag: type theory

Dependent Types と Refinement Types の違い

Dependent Types (依存型) と Refinement Types (篩型) は目指すところは似ているが, 導入スタイルに根本的な違いがある.
Tags: type system type theory 7月 7 2018

Articles are licensed under CC BY-SA 3.0 (unless explicitly mentioned)

Code examples are licensed under the Expat(MIT) license.

CC BY-SA 3.0

This site is powered by Flxble, and it's my own blog engine!