/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 boxbase.org
Hindley-Milner type system/Algorithm W study
| | slightknack.dev
Mirror: Hindley Milner Type Inference - Isaac Clayton
3.0 parsecs away

Travel
| | A cozy little corner of the web.
| | www.joachim-breitner.de
rec-def: Program analysis case study - Blog - Joachim Breitner's Homepage
4.7 parsecs away

Travel
| | [AI summary] A Haskell developer demonstrates how the rec-def library simplifies fixed-point calculation in recursive let bindings for program analysis.
| | www.twanvl.nl
A type theory based on indexed equality - Implementation
4.9 parsecs away

Travel
| | [AI summary] The author presents a Haskell prototype implementation of a type theory using indexed equality based on the homotopy interval.
| | jacksongl.github.io
Lambda Calculus Interpreter
29.7 parsecs away

Travel
| online lambda calculus interpreter