Travelled to:
1 × France
Collaborated with:
A.Ohori
Talks about:
type (2) polymorph (1) direct (1) compil (1) infer (1) rank (1) ml (1)
Person: Nobuaki Yoshida
DBLP: Yoshida:Nobuaki
Contributed to:
Wrote 1 papers:
- ICFP-1999-OhoriY #compilation #ml #morphism #polymorphism #rank #type inference
- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML (AO, NY), pp. 160–171.