Fun with type functions (2010)

by Oleg Kiselyov , Simon Peyton , Jones Chung-chieh Shan
Citations:6 - 3 self