The Provision of Non-Strictness, Higher Kinded Types and Higher Ranked Types on an Object Oriented Virtual Machine

The Provision of Non-Strictness, Higher Kinded Types and Higher Ranked Types on an Object Oriented Virtual Machine

We discuss the development of a number of algorithms and techniques to allow object oriented virtual machines to support many of the features needed by functional and other higher level languages. These features include non-strict evaluation, partial function application, higher ranked and higher ki...

Full description

Bibliographic Details
Main Author: Hunt, Oliver
Language:en
Published: University of Canterbury. Computer Science and Software Engineering 2008
Subjects:
Haskell
.NET
Common Language Runtime
Functional Languages
Object Oriented Programming
Virtual Machines
Non-strictness
Lazy evaluation
Higher Kinded Types
Higher Ranked Types
Higher Order Types
Generics
Parametric Polymorphism
Online Access:http://hdl.handle.net/10092/1145

Internet

http://hdl.handle.net/10092/1145

Similar Items