SRFI 137: Minimal Unique Types

by John Cowan and Marc Nieper-Wißkirchen

status: final (2016-10-04)

keywords: Data Structure

• The SRFI Document
• Discussion Archive
• Git repo (on Github)
• srfi-137@nospamsrfi.schemers.org (subscribers only)
• Subscribe to srfi-137 mailing list

  daily digest?

• Unsubscribe from srfi-137 mailing list

Abstract

This SRFI is intended to standardize a primitive run-time mechanism to create disjoint types.