Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By ACM Press

9781605587943
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The gentle art of levitation

2010 ◽  
Author(s):  
James Chapman ◽  
Pierre-Évariste Dagand ◽  
Conor McBride ◽  
Peter Morris

Specifying and verifying sparse matrix codes

2010 ◽  
Author(s):  
Gilad Arnold ◽  
Johannes Hölzl ◽  
Ali Sinan Köksal ◽  
Rastislav Bodík ◽  
Mooly Sagiv
Keyword(s):  
Sparse Matrix ◽  
Matrix Codes

scholarly journals Bidirectionalizing graph transformations

2010 ◽  
Author(s):  
Soichiro Hidaka ◽  
Zhenjiang Hu ◽  
Kazuhiro Inaba ◽  
Hiroyuki Kato ◽  
Kazutaka Matsuda ◽  
...  
Keyword(s):  
Graph Transformations
Load More ...
Sign in / Sign up

Export Citation Format

Share Document