A framework for extended algebraic data types

10.1007/11737414_5

Saved in:
Bibliographic Details
Main Authors: Sulzmann, M., Wazny, J., Stuckey, P.J.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Online Access:http://scholarbank.nus.edu.sg/handle/10635/42134
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-42134
record_format dspace
spelling sg-nus-scholar.10635-421342015-01-08T22:15:48Z A framework for extended algebraic data types Sulzmann, M. Wazny, J. Stuckey, P.J. COMPUTER SCIENCE 10.1007/11737414_5 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3945 LNCS 47-64 2013-07-04T08:44:12Z 2013-07-04T08:44:12Z 2006 Conference Paper Sulzmann, M.,Wazny, J.,Stuckey, P.J. (2006). A framework for extended algebraic data types. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3945 LNCS : 47-64. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/11737414_5" target="_blank">https://doi.org/10.1007/11737414_5</a> 3540334386 03029743 http://scholarbank.nus.edu.sg/handle/10635/42134 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description 10.1007/11737414_5
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Sulzmann, M.
Wazny, J.
Stuckey, P.J.
format Conference or Workshop Item
author Sulzmann, M.
Wazny, J.
Stuckey, P.J.
spellingShingle Sulzmann, M.
Wazny, J.
Stuckey, P.J.
A framework for extended algebraic data types
author_sort Sulzmann, M.
title A framework for extended algebraic data types
title_short A framework for extended algebraic data types
title_full A framework for extended algebraic data types
title_fullStr A framework for extended algebraic data types
title_full_unstemmed A framework for extended algebraic data types
title_sort framework for extended algebraic data types
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/42134
_version_ 1681082564168646656