# Local set theory

**Armin Rigo**
arigo@ulb.ac.be

*Wed, 14 Feb 2001 20:06:59 +0100 (MET)*

Hello,
Here is a page where I discuss how the mathematical theory of "local set
theory" (closely related to categories and topoi) could be used to base a
programming language. I stress the "strongly typed" point of view, and
nothing can belong to more than one type (for example there is no absolute
notion of subtype or supertype). I try to look at how a meta-programming
system can nevertheless successfully implement things like polymorphism.
I did a small test in this direction (C code for i386).
See
http://homepages.ulb.ac.be/~arigo/bazar/infobase/index.html
Armin Rigo