Extensional Polymorphism by Flow Graph Dispatching

Extensional polymorphism provides non-parametric polymorphic values called generic values in ML. We pointed out semantical and efficiency problems of classical compilation of generic values by type dispatching. To overcome these difficulties, we proposed a new compilation by dispatching directed int...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer Software 2005/04/26, Vol.22(2), pp.2_90-2_94
1. Verfasser:	FURUSE, Jun
Format:	Artikel
Sprache:	eng ; jpn
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!