Set theoretic programming

From Free net encyclopedia

Set theoretic programming is a programming paradigm based on mathematical Set theory. One example of a programming language based on this paradigm is SETL.

Template:Compu-lang-stub