Adding Dynamic Types to C#
Abstract elided by the publisher.
Related papers
- The ins and outs of gradual type inference POPL 2012
- Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming ICFP 1999
- Migrating gradual types POPL 2018
- Casts and costs: harmonizing safety and performance in gradual typing ICFP 2018
- Migrating gradual types JFP 2022
- Cork: dynamic memory leak detection for garbage-collected languages POPL 2007
- Dynamic Typing for Distributed Programming in Polymorphic Languages TOPLAS 1999
- Type-Based Hot Swapping of Running Modules ICFP 2001