Abstract | ||
---|---|---|
. The logic/functional language Mercury uses a strong, mostlystatic type system based on polymorphic many-sorted logic. For e-ciency, the Mercury compiler uses type specic representations of terms,and implements polymorphic operations such as unications via genericcode invoked with descriptions of the actual types of the operands. Thesedescriptions, which consist of automatically generated data and code, arethe main components of the Mercury runtime type information (RTTI)... |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/10704567_14 | PPDP |
Keywords | Field | DocType |
run time type information,polymorphism,type system,functional language | Programming language,Run-time type information,Debugger,Computer science,Theoretical computer science,Input/output,Compiler,Data type,Garbage collection,Memoization,Type constructor | Conference |
Volume | ISSN | ISBN |
1702 | 0302-9743 | 3-540-66540-4 |
Citations | PageRank | References |
6 | 0.75 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tyson Dowd | 1 | 20 | 4.24 |
Zoltan Somogyi | 2 | 571 | 141.85 |
Fergus Henderson | 3 | 296 | 34.54 |
Thomas Conway | 4 | 273 | 34.03 |
David Jeffery | 5 | 36 | 6.49 |