Stefan Kahrs has written:
'First-class polymorphisms for ML' -- subject(s): Functional programming (Computer science), ML (Computer program language), ML (Computer programlanguage)
'Interfaces and extended ML' -- subject(s): Functional programming (Computer science), ML (Computer program language)