#

hindley-milner

Here are 3 public repositories matching this topic...

jiriklepl / Bachelor-Thesis-Defense

Check https://github.com/exaexa/simple-mff-slides for the template

c tex haskell compiler beamer bachelor-thesis hindley-milner mff-uk

Updated Sep 20, 2020
TeX

jiriklepl / Bachelor-Thesis-Text

c haskell lambda-calculus bachelor-thesis hindley-milner mff-uk

Updated Aug 11, 2020
TeX

evermake / bs-thesis

Hindley-Milner-style Type Inference with Levels for Generic Abstract Syntax with Binders

haskell functional-programming hindley-milner type-systems free-foil

Updated Jul 1, 2025
TeX

Improve this page

Add a description, image, and links to the hindley-milner topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hindley-milner topic, visit your repo's landing page and select "manage topics."