Phantom* types* and* subtyping*OKMatthew FluetRiccardo PucellaPhantom types and subtyping.J. Funct. Program.166751-7912006Journal Articlesclosedjournals/jfp/FluetP0610.1017/S0956796806006046https://doi.org/10.1017/S0956796806006046https://dblp.org/rec/journals/jfp/FluetP06URL#5643676Matthew FluetRiccardo PucellaPhantom Types and SubtypingCoRRcs.PL/04030342004Informal and Other Publicationsopenjournals/corr/cs-PL-0403034http://arxiv.org/abs/cs/0403034https://dblp.org/rec/journals/corr/cs-PL-0403034URL#6076628Matthew FluetRiccardo PucellaPhantom Types and Subtyping.IFIP TCS448-4602002Conference and Workshop Papersclosedconf/ifipTCS/FluetP0210.1007/978-0-387-35608-2_37https://doi.org/10.1007/978-0-387-35608-2_37https://dblp.org/rec/conf/ifipTCS/FluetP02URL#6265058