Implementation of a High-level Set-theoretic Programming Language

On this page you can find an embed of my article 'Implementation of a High-level Set-theoretic Programming Language'. I wrote it about my custom set-theoretic language JMPL for the University of Warwick's URSS Showcase.

You can find the article on the showcase site at https://urss.warwick.ac.uk/items/show/768 for its citation.