Efficient Representation of Functional Programs
Functional programming is a programming paradigm which comprises equations between functions operating on “abstract data”. It is a very neat and concise style that focuses on the core logic rather than catering to the details of how a computer works. However, these programs are often very inefficient to execute because of the disregard for such details. This work attempts to bridge this gap by augmenting functional programs with a separate component that “maps” each abstract data type into a concrete representation. This enables experimentation with the underlying representation of a program independently of its core “business logic”.
Keywords
Functional programming, programming languages, type theory, denotational semantics, compilation, data representation
Staff
[Chris Brown]{cmb21}