Multi-polymorphic programming in bondi. - Thomas Given-Wilson; Freeman Huang; Barry Jay (WGP@ICFP, 2013)