User-Defined Shape Constraints in SAC

Open Access
Authors
Publication date 2012
Host editors
  • R. Hinze
Book title Draft proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)
Event 24th International Symposium on Implementation and Application of Functional Languages (IFL'12)
Pages (from-to) 416-434
Publisher Oxford: Department of Computer Science, University of Oxford
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Language English
Published at https://www.cs.ox.ac.uk/files/5260/CS-RR-12-06.pdf
Downloads
IFL2012-Proceedings (Final published version)
Permalink to this page
Back