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

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

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development

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

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

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 4th international workshop on Types in language design and implementation

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 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

Proceedings of the 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing

Proceedings of the Workshop on Model-Driven Security

Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development

The Centaur Types
Dahkki: Rogers

Sexual Types
Dahkki: DiGangi

Work types.
Dahkki: Kummerow, Jean M
Almmustuhtton: (1997)

Types of drama.
Dahkki: Shroyer, Frederick B., et al.
Almmustuhtton: (1970)

type 1
Dahkki: Asian University for Women
Almmustuhtton: (2025)

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

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

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems

Proceedings of the 4th ACM Workshop on Networked Systems for Developing Regions

Proceedings of the First International Workshop on Model-Driven Interoperability

Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification

Proceedings of the Workshop on Events in Emerging Text Types
Dahkki: Orasan

Driven by Fear
Dahkki: Risse

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang