Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USA

First Page		Document Content
Date: 2016-03-05 17:06:25 Software engineering Computer programming Constraint programming Enumerated type Type theory Constraint satisfaction problem Generator Backtracking Data structure		Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USA Add to Reading List Source URL: tinytocs.ece.utexas.edu Download Document from Source Website File Size: 86,30 KB Share Document on Facebook

	Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure DocID: 1xUI0 - View Document
	Synthesizing Data-structure Manipulations from Storyboards Rishabh Singh Armando Solar-Lezama DocID: 1xUF2 - View Document
	Education at a Glance: OECD Indicators is the authoritative source for information on the state of education around the world. It provides data on the structure, finances and performance of education systems in OECD and DocID: 1xU3i - View Document
	How Many People Do You Know in Prison?: Using Overdispersion in Count Data to Estimate Social Structure in Networks Tian Z HENG, Matthew J. S ALGANIK, and Andrew G ELMAN Networks—sets of objects connected by relationsh DocID: 1vfxH - View Document
	UnSAID: Uncertainty and Structure in the Access to Intensional Data Pierre Senellart DocID: 1vf38 - View Document