Implementation of a High-level Set Theoretic Programming Language

Title

Implementation of a High-level Set Theoretic Programming Language

Subject

Set-theoretic programming

Date

08/08/2025

Contributor

Joel Luckett

Abstract

Set theory defines much of today’s mathematics and should therefore define computer science in a similar way. Set-theoretic programming is one such way that fits computer science into a mathematical framework. This article introduces an implementation of a set-theoretical language (JMPL) as an efficient way to translate mathematical ideals to programming, while exploring relevant structure and design details.

Meta Tags

#Computer Science #Set Theory #Set-theoretic Programming #Programming

Files

Citation

Joel Luckett, “Implementation of a High-level Set Theoretic Programming Language,” URSS SHOWCASE, accessed September 9, 2025, https://urss.warwick.ac.uk/items/show/768.