FUNCTIONAL PEARL <i>Type-safe cast</i> (Q4660266)
From MaRDI portal
scientific article; zbMATH DE number 2148717
Language | Label | Description | Also known as |
---|---|---|---|
English | FUNCTIONAL PEARL <i>Type-safe cast</i> |
scientific article; zbMATH DE number 2148717 |
Statements
FUNCTIONAL PEARL <i>Type-safe cast</i> (English)
0 references
21 March 2005
0 references
dynamic types
0 references