enter search term and/or author name
Intensional analysis of quantified types
Bratin Saha, Valery Trifonov, Zhong Shao
Compilers for polymorphic languages can use run-time type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures. Intensional type analysis is a...
A transformational approach to binary translation of delayed branches
Norman Ramsey, Cristina Cifuentes
A binary translator examines binary code for a source machine and generates code for a target machine. Understanding what to do with delayed branches in binary code can involve tricky case analyses, for example, if there is a branch instruction in a...
PolyTOIL: A type-safe polymorphic object-oriented language
Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech
PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the definitions of subtyping and inheritance, providing a name for the type of self, and carefully defining the type-checking...