ProSet
ProSet is a set theoretic programming language that is being developed at the University of Essen as a successor to SETL . 
<triplet> ProSet <subj> programming language <obj> instance of <triplet> SETL <subj> programming language <obj> instance of