Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development
| Formatua: | Baliabide elektronikoa eBook |
|---|---|
| Hizkuntza: | ingelesa |
| Argitaratua: |
Association for Computing Machinery (ACM),
8/23/20
|
| Gaiak: | |
| Sarrera elektronikoa: | Full text available on Research4Life (ACM) |
Antzeko izenburuak
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development
Proceedings of the 6th 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 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 5th ACM SIGPLAN workshop on Types in language design and implementation
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 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 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Proceedings of the Workshop on Model-Driven Security
Proceedings of the 5th ACM workshop on Networked systems for developing regions
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development
The Centaur Types
nork: Rogers
nork: Rogers
Sexual Types
nork: DiGangi
nork: DiGangi
Work types.
nork: Kummerow, Jean M
Argitaratua: (1997)
nork: Kummerow, Jean M
Argitaratua: (1997)
Types of drama.
nork: Shroyer, Frederick B., et al.
Argitaratua: (1970)
nork: Shroyer, Frederick B., et al.
Argitaratua: (1970)
type 1
nork: Asian University for Women
Argitaratua: (2025)
nork: Asian University for Women
Argitaratua: (2025)
type2
nork: Asian University for Women
Argitaratua: (2025)
nork: Asian University for Women
Argitaratua: (2025)
Proceedings of the 4th international workshop on Types in language design and implementation
Proceedings of the First International Workshop on Model-Driven Interoperability