Superficially substructural types

Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg

Research output: Contribution to conference (unpublished)Paperpeer-review

19 Citations (Scopus)
Original languageEnglish
Pages41-54
DOIs
Publication statusPublished - 1 Sep 2012
EventProceedings of the 17th ACM SIGPLAN International Conference on Functional Programming - ICFP '12 - Copenhagen, Denmark
Duration: 10 Sep 201212 Sep 2012

Conference

ConferenceProceedings of the 17th ACM SIGPLAN International Conference on Functional Programming - ICFP '12
Country/TerritoryDenmark
CityCopenhagen
Period10/09/1212/09/12

Cite this