Local set theory

[Armin Rigo]

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