MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A visualisation of polymorphic type checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A Visualisation of Polymorphic Type Checking
by Yang Jun Greg, Yang Jun, Greg Michaelson — 1998
…A visualisation of polymorphic type checking Yang Jun Greg Michaelson y Department of Computing…
Add To MetaCart

A Visualisation of Polymorphic Type Checking
by Yang Jun, Greg Michaelson — 1998
…A visualisation of polymorphic type checking Yang Jun Greg Michaelson y Department of Computing…
Cited by 1 (0 self) – Add To MetaCart

Explaining Type Errors by Finding the Source of a Type Conflict
by Jun Yang — 2000 — In Greg Michaelson, Phil Trindler, and Hans-Wolfgang Loidl, editors, Trends in Functional Programming
… explanations, we have implemented a visualisation of polymorphic type checking [12]. An evaluation…
Cited by 15 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB