A type-safe embedding of XDuce into ML

10.1016/j.entcs.2005.11.047

Saved in:
Bibliographic Details
Main Authors: Sulzmann, M., Lu, K.Z.M.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40474
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40474
record_format dspace
spelling sg-nus-scholar.10635-404742024-11-09T05:30:56Z A type-safe embedding of XDuce into ML Sulzmann, M. Lu, K.Z.M. COMPUTER SCIENCE Language integration/extension Program transformation Semi-structured data handling 10.1016/j.entcs.2005.11.047 Electronic Notes in Theoretical Computer Science 148 2 239-264 2013-07-04T08:05:09Z 2013-07-04T08:05:09Z 2006 Conference Paper Sulzmann, M., Lu, K.Z.M. (2006). A type-safe embedding of XDuce into ML. Electronic Notes in Theoretical Computer Science 148 (2) : 239-264. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2005.11.047 15710661 http://scholarbank.nus.edu.sg/handle/10635/40474 000214145800011 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Language integration/extension
Program transformation
Semi-structured data handling
spellingShingle Language integration/extension
Program transformation
Semi-structured data handling
Sulzmann, M.
Lu, K.Z.M.
A type-safe embedding of XDuce into ML
description 10.1016/j.entcs.2005.11.047
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Sulzmann, M.
Lu, K.Z.M.
format Conference or Workshop Item
author Sulzmann, M.
Lu, K.Z.M.
author_sort Sulzmann, M.
title A type-safe embedding of XDuce into ML
title_short A type-safe embedding of XDuce into ML
title_full A type-safe embedding of XDuce into ML
title_fullStr A type-safe embedding of XDuce into ML
title_full_unstemmed A type-safe embedding of XDuce into ML
title_sort type-safe embedding of xduce into ml
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40474
_version_ 1821192501629812736