Personal Information
Organization / Workplace
Tokyo Japan
Occupation
Software Engineer
Website
github.com/gfngfn
Tags
type system
functional programming
typesetting system
ocaml
satysfi
programming language
latex
multi-stage programming
type inference
static typing
型システム
concurrency
language design
erlang
ラムダ計算
lambda calculus
プログラミング言語
型推論
computer science
markdown
静的型つけ
lightweight markup language
軽量マークアップ言語
ml
マークアップ言語
markup language
macrodown
expandafter
tex
See more
- Presentations
- Documents
- Infographics