[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness

[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and UniquenessПодробнее

Linear Types – Constantine Ter-MatevosianПодробнее

An Existential Crisis Resolved: Type Inference for First-Class Existential TypesПодробнее

Confusion matrix in machine learning explained in 60 secondsПодробнее

Implementing Linear HaskellПодробнее

Type Inference in HaskellПодробнее

[ICFP'22] Flexible Presentations of Graded MonadsПодробнее

[ICFP'22] Deep Programmability: A New Lens on NetworkingПодробнее

Understanding Type Inference in Haskell with fmap and Function CompositionПодробнее

A Quick Look at Impredicativity (ICFP 2020)Подробнее

Richard Eisenberg on Simplifying Constraint Solving in GHCПодробнее

Staged Selective Parser Combinators (ICFP 2020)Подробнее

Controllability and Observability Gramians, Hankle Singular Values, MATLAB Model reduction AppПодробнее

[ML'22] Unboxed types for OCamlПодробнее

[Haskell'22] Eiger: Auditable, executable, flexible legal regulationsПодробнее