Explore >> Select a destination
|
You are here 
|
gilmi.me | ||
| | | | |
slightknack.dev
|
|
| | | | | A cozy little corner of the web. | |
| | | | |
lambdaland.org
|
|
| | | | | All the source for this may be found on my SourceHut repository. Synopsis # Experimental type checker/inferer for a simple lambda calculus Description # This is a type inference system for a little language. (Described below.) It uses a fusion of type inference algorithms from PLAI, ESP, and ?Kanren. (See Resources) Broadly speaking, our type inference engine works by: generating typing constraints from the program solving those constraints Well describe each of those in more detail. | |
| | | | |
diego.codes
|
|
| | | | | Data Scientist. I like music, keyboards and Legos. Proficient in pop culture references and xkcd. | |
| | | | |
andrewshitov.com
|
|
| | | |||
