Stem singleton$ (all stems)

6 papers:

STOC-2013-GuruswamiX #algebra #bound #geometry

List decoding reed-solomon, algebraic-geometric, and gabidulin subcodes up to the singleton bound (VG, CX), pp. 843–852.

HPDC-2012-SharmaK #named

Singleton: system-wide page deduplication in virtual environments (PS, PK), pp. 15–26.

RTA-2009-GasconGS #unification

Unification with Singleton Tree Grammars (AG, GG, MSS), pp. 365–379.

TLCA-2009-AbelCP #algorithm #composition #proving #type system

A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance (AA, TC, MP), pp. 5–19.

TOOLS-USA-2003-ArnoutB04 #eiffel #how

How to get a Singleton in Eiffel (KA, EB), pp. 75–95.

POPL-2000-StoneH #equivalence

Deciding Type Equivalence with Singleton Kinds (CAS, RH), pp. 214–227.