ParentFull threadi_don_t_know·Types and Programming Languages by Benjamin Pierce, sometimes also referred to as TAPL.View on HN