Proceedings of the 3rd 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

Proceedings of the 3rd International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation

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

Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience

Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering

type 3 fence
por: Asian University for Women
Publicado: (2025)

type 3 fence
por: Asian University for Women
Publicado: (2025)

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

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 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle

Proceedings of the 3rd ACM Symposium on Computing for Development

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis

Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design

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

Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools

Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile

Proceedings of the 3rd Workshop on Data-Driven User Behavioral Modeling and Mining from Social Media

Proceedings of the 3rd ACM international workshop on MobiArch

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding

Proceedings of the 3rd International Workshop on Refactoring

Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages

Proceedings of the 3rd ACM Workshop on Software Protection

Proceedings of the 3rd ACM workshop on Wireless security

Proceedings of the Workshop on Model-Driven Security

The Centaur Types
por: Rogers

Sexual Types
por: DiGangi