Search Constraints

Start Over
Filtering by: Subject Functional programming %28Computer science%29 Remove constraint Subject: Functional programming %28Computer science%29

Search Results

  • A parallel intermediate representation based on Lambda expressions

    Creator:
    Oregon State University. Dept. of Computer Science and Budd, Timothy
    Abstract:
    The lambda calculus has frequently been used as an intermediate representation for programming languages, particularly for functional programming language systems. We introduce two simple extensions to the lambda calculus that describe potentially parallel computations. These extensions permit us to use the lambda calculus as an intermediate form for languages that...
    Resource Type:
    Research Paper
    Full Text:
    intermediate representation for programming languages, particularly for functional programming language

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    degree of Master of Science in Computer Science presented on 2018 March 19. Title: The Ownership Monad

  • Domain-specific language support for experimental game theory

    Creator:
    Walkingshaw, Eric
    Abstract:
    Experimental game theory is the use of game theoretic abstractions—games, players, and strategies—in experiments and simulations. It is often used in cases where traditional, analytical game theory fails or is difficult to apply. This thesis collects three previously published papers that provide domain-specific language (DSL) support for defining and executing...
    Resource Type:
    Masters Thesis
    Full Text:
    . Journal of Functional Programming, Volume 19, pages 645–661, 2009. 5 2.1 Introduction Experimental