#dependent-types on Hacker News

2 stories tagged dependent-types, newest first.

Screenshot of ats-lang.sourceforge.net: Introduction to Programming in ATS

Introduction to Programming in ATS (ats-lang.sourceforge.net)

75 points by ibobev 10 days ago | 9 comments

Online book by Hongwei Xi introducing the ATS programming language, covering functional programming, dependent and linear types, theorem-proving, and templates.

ats dependent-types linear-types functional-programming

Screenshot of thenumb.at: Compile-Time Dependent Types

Compile-Time Dependent Types (thenumb.at)

55 points by ibobev 18 days ago | 17 comments

Blog post by Max Slater introducing Syl, a language that encodes compile-time computation with modes and dependent types, inspired by two-level type theory and OxCaml.

syl dependent-types type-theory programming-languages

#dependent-types on Hacker News

Introduction to Programming in ATS(ats-lang.sourceforge.net)

Compile-Time Dependent Types(thenumb.at)

Introduction to Programming in ATS (ats-lang.sourceforge.net)

Compile-Time Dependent Types (thenumb.at)