Python binaries with VC++ 8.0?

Paul Rubin http
Tue Feb 10 02:48:44 EST 2009

In case anyone is interested: Gideon Smeding of the University of
Utrecht has written a masters' thesis titled "An executable
operational semantics for Python".  It is actually a formal semantics
for a Python subset called minpy.  Per the blurb, the semantics are
described in literate Haskell that is compiled to an interpreter as
well as a formal specification.  Somehow there has to be a a reference
about "unless you're Dutch" to be made about this ;-).

Further info is at:

I found this link via the Haskell Weekly News, .

More information about the Python-list mailing list