[TYPES] Formal models of python-like languages

[James Cheney]

Probably the best place to start would be this:


Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel
Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi. 2013.
Python: the full monty. In *Proceedings of the 2013 ACM SIGPLAN
international conference on Object oriented programming systems languages &
applications* (OOPSLA '13). ACM, New York, NY, USA, 217-232. DOI=
http://dx.doi.org/10.1145/2509136.2509536

I am not sure how many of the features you mentioned are covered, but
probably some of the authors are on this list and can say more.

--James

On Dec 7, 2017 5:44 AM, "Halley Young" <halleyy at seas.upenn.edu> wrote:

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Hi all,

I have had trouble finding formal research regarding languages with all or
most of the properties of core python.  Python has the following properties:

1. It is often used in a purely imperative style, and has side effects and
pointers.
2. Functions are first class variables, and can be higher-order or
anonymous.
3. One can define objects with subclasses and inheritance, but not
everything is wrapped in a class.
4. There is dynamic "duck typing," and branches based on runtime checks of
types.

Even though obviously research on any one of these properties exist,
research on languages combining them all, or even just programming with
side-effects/pointers and higher order functions, seem to be much rarer.
Do you know of any work that has been done formalizing languages with all
or most of these features?

Thank you,
Halley Young