Searching for authors named "Yang Jun" – sorted by Relevance.
-
A Visualisation of Polymorphic Type Checking
- A visualisation of polymorphic type checking Yang Jun Greg Michaelson y Department of Computing
- Cited by 1 (0 self) – Add To MetaCart
-
A Visualisation of Polymorphic Type Checking
- A visualisation of polymorphic type checking Yang Jun Greg Michaelson y Department of Computing
- Add To MetaCart
-
Explaining Polymorphic Types
- Explaining Polymorphic Types Yang Jun, Greg Michaelson and Phil Trinder Department of Computing
- Cited by 5 (0 self) – Add To MetaCart
-
In G. Kadoda (Ed). Proc. PPIG 13 Pages 163-172 13
- In G. Kadoda (Ed). Proc. PPIG 13 Pages 163-172 Human and “human-like” type explanations Yang Jun
- Add To MetaCart

