Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming
| Materialtyp: | Elektronisk E-bok |
|---|---|
| Språk: | engelska |
| Publicerad: |
Association for Computing Machinery (ACM),
9/24/13
|
| Ämnen: | |
| Länkar: | Full text available on Research4Life (ACM) |
Liknande verk
Proceedings of the 2013 ACM workshop on Security, privacy & dependability for cyber vehicles
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
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 4th ACM SIGPLAN International Workshop on Type-Driven Development
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 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 5th ACM SIGPLAN workshop on Types in language design and implementation
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
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 ACM SIGPLAN workshop on Generic programming
Declarations of Dependence
av: Ferguson
av: Ferguson
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Proceedings of the 2005 workshop on Architecting dependable systems
Success Depends on the Animals
av: Ahmad
av: Ahmad
Africa's Dependency Syndrome
av: Mhango
av: Mhango
Drug and Alcohol Dependence
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Proceedings of the First Workshop on P2P and Dependability
Proceedings of the 13th European Workshop on Dependable Computing