gfnweb
Home
Profile
GitHub
Twitter/X
Language
English
日本語
Loading slides...
Previous
Next
The Basics of Type Systems for Multi-Stage Programming
May 12, 2022
(last modified:
Feb 20, 2023
)
slides
programming language
type system
multi-stage programming
PDF
Tweet
(Not translated to English)
First appearance:
Apr 17th, 2020.
多段階計算の型システムの基礎 | SlideShare