Haskell'11 : proceedings of the 2011 ACM SIGPLAN Haskell Symposium, September 22, 2011, Tokyo, Japan |
Autore | Claessen Koen |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
Descrizione fisica | 1 online resource (130 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-0860-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Haskell'11 : proceedings of the 2011 Association for Computing Machinery Special Interest Group on Programming Languages Haskell Symposium, September 22, 2011, Tokyo, Japan
Proceedings of the 4th ACM Symposium on Haskell ICFP '11 ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan September 19-21, 2011 |
Record Nr. | UNINA-9910376530203321 |
Claessen Koen | ||
[Place of publication not identified], : ACM, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA |
Autore | Claessen Koen |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
Descrizione fisica | 1 online resource (84 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Programming Languages meets Program Verification'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA
Proceedings of the sixth Workshop on Programming Languages Meets Program Verification |
Record Nr. | UNINA-9910376151303321 |
Claessen Koen | ||
[Place of publication not identified], : ACM, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|