gfnweb
Home
Profile
GitHub
Twitter/X
Language
English
日本語
Erlang
Tags:
logotype
20
programming language
16
type system
12
slides
10
article
9
illustration
9
SATySFi
9
Stadt Tokio
9
typesetting
7
fanart
5
multi-stage programming
4
deep learning
3
doodle
3
Kyoto
3
academic research
2
impression
2
language processor
2
OCaml
2
Promare
2
Sesterl
2
Bocchi the Rock
1
Erlang
1
LaTeX
1
memo
1
poster
1
Revue Starlight
1
Taro Okamoto
1
TeX
1
Youngsters’ Workshop on Information Science
1
Sesterl: An ML-like Statically-Typed Erlang