Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction

Article Details
Title:	Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction
Article URLs:	https://doi.org/10.1145/2676726.2676991
Alternative Article URLs:
Authors:	Giuseppe Castagna	CNRS Université Paris Diderot
	Kim Nguyen	Université Paris-Sud, Orsay, France, LRI
	Zhiwu Xu	CNRS PPS Univ Paris Diderot Sorbonne Paris Cité, Paris, France Guangdong Power Grid Co., Guangzhou, China, TEC
	Pietro Abate	CNRS PPS Univ Paris Diderot Sorbonne Paris Cité, Paris, France
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/tree/cduce-next http://www.cduce.org
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/popl/Castagna0XA15
Author Comments:	Development version of CDuce. Branch cduce-next.

ACM Principles of Programming Languages, POPL 2015