Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development

Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development

Proceedings of the 1st International Workshop on Type-Driven Development

type2
Dahkki: Asian University for Women
Almmustuhtton: (2025)

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation

Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation

type 2 fence
Dahkki: Asian University for Women
Almmustuhtton: (2025)

type 2 fence
Dahkki: Asian University for Women
Almmustuhtton: (2025)

Proceedings of the 2nd International Workshop on Pattern-Driven Engineering of Interactive Computing Systems

Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell

Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation

Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing

Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang

Proceedings of the 2nd International Workshop on Mobile Development Lifecycle

Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards

Proceedings of the 2nd ACM Symposium on Computing for Development

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis

Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile

Proceedings of the 2nd International Workshop on Feature-Oriented Software Development

Proceedings of the 2nd international workshop on Systems development in SOA environments

Proceedings of the Workshop on Model-Driven Security

Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

Proceedings of the 2nd ACM international workshop on Crowdsourcing for multimedia

Proceedings of the 2nd ACM international workshop on Events in multimedia

Proceedings of the 2nd ACM international workshop on Multimedia databases