A systematic translation of guarded recursive data types to existential types

Master's

Saved in:

Bibliographic Details
Main Author:	WANG MENG
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	type systems, type-directed translation, proof-term construction, constraint solving
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/14876
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-14876
record_format	dspace
spelling	sg-nus-scholar.10635-148762017-10-21T05:55:25Z A systematic translation of guarded recursive data types to existential types WANG MENG COMPUTER SCIENCE CHIN WEI NGAN SULZMANN, MARTIN type systems, type-directed translation, proof-term construction, constraint solving Master's MASTER OF SCIENCE 2010-04-08T10:47:45Z 2010-04-08T10:47:45Z 2005-09-15 Thesis WANG MENG (2005-09-15). A systematic translation of guarded recursive data types to existential types. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/14876 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	type systems, type-directed translation, proof-term construction, constraint solving
spellingShingle	type systems, type-directed translation, proof-term construction, constraint solving WANG MENG A systematic translation of guarded recursive data types to existential types
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE WANG MENG
format	Theses and Dissertations
author	WANG MENG
author_sort	WANG MENG
title	A systematic translation of guarded recursive data types to existential types
title_short	A systematic translation of guarded recursive data types to existential types
title_full	A systematic translation of guarded recursive data types to existential types
title_fullStr	A systematic translation of guarded recursive data types to existential types
title_full_unstemmed	A systematic translation of guarded recursive data types to existential types
title_sort	systematic translation of guarded recursive data types to existential types
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/14876
_version_	1681079100462071808

A systematic translation of guarded recursive data types to existential types

Similar Items