Local set theory

Armin Rigo arigo@ulb.ac.be
Wed, 14 Feb 2001 20:06:59 +0100 (MET)


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).


Armin Rigo