Skip to content
main
Switch branches/tags
Code

Latest commit

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time

ForML: Iterative Programming with Type Classes and Associated Types

This repository represents the culmination of my bachelor's thesis, completed June 6, 2019, advised by Adam Shaw.

The paper can be read here.

A recording of the presentation, given June 5, 2019, can be found here, and the slides can be found here.

The compiler for LUCA, broken though it is, can be found here.

About

Bachelor's thesis 2019

Resources

Releases

No releases published

Packages

No packages published