Chaml

An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details.
Alternatives To Chaml
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Timetk59413243 months ago23October 31, 202333R
Time series analysis in the `tidyverse`
Chaml6
10 years agoTeX
An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details.
Alternatives To Chaml
Select To Compare


Alternative Project Comparisons
Popular Coercion Projects
Popular Machine Learning Projects
Popular Data Processing Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Machine Learning
Tex
Ocaml
Abstract Syntax Tree
Coercion