dth

KO | EN

gitlite — search

#llm #go #golang #android #machine-learning #rust #linux #docker #macos #nodejs #windows #awesome #openai #ios

(★ 309)

Examples of Dependently-typed programs in Haskell

dth Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

- [vector-bingo](vector-bingo/): Simple introduction (PLMW 2018)
    + Using length-indexed lists to implement a bingo game

- [regexp](regexp/): Example code from "Dependent Types in Haskell" 
    + Dependently-Typed Regular Expression Submatching

- [depending-on-types](depending-on-types/):
    Example code from "Depending on Types" 
     + Red/Black trees that statically preserve their invariants

- [examples](examples/):
    Other examples of dependently-typed GHC

- [talks](talks/): Slides from [presentations](http://www.cis.upenn.edu/~sweirich/talks.html)
     + "Dependending on Types", ICFP 2014, [CodeMesh 2015](https://www.youtube.com/watch?v=n-b1PYbRUOY), Typelevel Summit 2016
     + "The Influence of Dependent Types", [POPL 2017](https://www.youtube.com/watch?v=GgD0KUxMaQs)
     + "Dependently-Typed Haskell", [StrangeLoop 2017](https://www.youtube.com/watch?v=wNa3MMbhwS4&t=25s)
     + "Dependent Types in Haskell", McMaster 2017, UW 2017, and Comcast FP 2018

See also: [Strongly-typed System F](https://www.cis.upenn.edu/~plclub/blog/2020-06-26-Strongly-typed-System-F/) in a separate repo.

dth

dth Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

dth

dth Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README