The Forsythe language includes a general implementation of intersection types.
Η γλώσσα Forsythe περιλαμβάνει μια γενική υλοποίηση των τύπων τομής.