Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML

2016/08/11 by Yutaka Nagashima, Nagashima, Yutaka, Liam O’Connor +1 · 1 citation
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques

paper · pdf · doi:10.48550/arxiv.1608.03350

Abstract

We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.

Cited by

• Towards United Reasoning for Automatic Induction in Isabelle/HOL
• A Proof Strategy Language and Proof Script Generation for Isabelle/HOL

Related

• CLOSER: Towards Better Representation Learning for Few-Shot Class-Incremental Learning
• Few-Shot Class-Incremental Learning via Training-Free Prototype Calibration
• MASIL: Towards Maximum Separable Class Representation for Few Shot Class Incremental Learning
• Ludwig: a type-based declarative deep learning toolbox
• Assembly of Experts: Linear-time construction of the Chimera LLM variants with emergent and adaptable behaviors