Type Safety of Generics for the .NET Common Language Runtime
No abstract available.
Related papers
- Design and Implementation of Generics for the .NET Common Language Runtime PLDI 2001
- Formalization of generics for the .NET common language runtime POPL 2004
- Safer unsafe code for .NET OOPSLA 2008
- Bringing dynamic languages to .NET with the DLR DLS 2007
- Typing a multi-language intermediate code POPL 2001
- Project snowflake: non-blocking safe manual memory management in .NET OOPSLA 2017
- Fencing off go: liveness and safety for channel-based programming POPL 2017
- Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial JFP 2014