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

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

Detalles Bibliográficos
Formato:	Electrónico Libro
Idioma:	English
Publicado:	Association for Computing Machinery (ACM), 8/30/23
Subjects:	Conference papers and proceedings.
Acceso en liña:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Títulos similares

Proceedings of the 5th 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 4th ACM SIGPLAN International Workshop on Type-Driven Development

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

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

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

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

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

Proceedings of the 5th 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 8th ACM SIGPLAN workshop on ERLANG

Proceedings of the 2007 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 2003 ACM SIGPLAN international workshop on Types in languages design and implementation

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming

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

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

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

Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing

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

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control

Proceedings of the ACM SIGPLAN workshop on Haskell workshop

Typee /
por: Melville, Herman, 1819-1891
Publicado: (1964)

Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Proceedings of the 9th ACM SIGPLAN workshop on Erlang

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG

Proceedings of the 10th ACM SIGPLAN workshop on Erlang

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang

Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments