Compilers – Doors Open @ Computer Science St Andrews

A dependently typed system for the Hash programming language

What is the difference between math and programming? This project is an implementation of a dependent type system for an imperative programming language called Hash. Beyond standard programming language features, it…

Date: 3 March 2023
Category: 2023 Programming Languages

Implementing an LLVM Backend for the Hash Compiler

Keywords Compilers, Programming Languages, Code Generation, Systems Programming Staff [Christopher Brown]{cmb21}

Date: 28 February 2023
Category: 2023 Programming Languages

A Dependently Typed Parallel Runtime System

As the multi-core CPU architectures are long the standard, writing parallel programs are essentialto extract the maximum performance from the CPU. This project explores the use of dependanttypes in creating a model for…

Date: 27 February 2023
Category: 2023 Programming Languages

Doors Open @ Computer Science St Andrews – 11th April 2024

Search by tag: compilers

A dependently typed system for the Hash programming language

Implementing an LLVM Backend for the Hash Compiler

A Dependently Typed Parallel Runtime System

Recent Posts

Recent Comments