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

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

書目詳細資料
格式:	電子圖書
語言:	English
出版:	Association for Computing Machinery (ACM), 9/24/13
主題:	Conference papers and proceedings.
在線閱讀:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

相似書籍

Proceedings of the 3rd 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 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 8th ACM SIGPLAN workshop on Types in language design and implementation

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

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

Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation

Proceedings of the 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 seventh ACM SIGPLAN workshop on Generic programming

Proceedings of the 2013 ACM workshop on Security, privacy & dependability for cyber vehicles

Proceedings of the 2013 ACM SIGPLAN symposium on Haskell

Proceedings of the 6th ACM SIGPLAN workshop on Generic programming

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 11th ACM SIGPLAN Workshop on Generic Programming

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

Proceedings of the ACM SIGPLAN workshop on Haskell workshop

Typee /
由: Melville, Herman, 1819-1891
出版: (1964)

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security

Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming

Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security