[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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" <[email protected]> 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
