tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.

First Page		Document Content
Date: 2015-12-13 09:20:23 Software engineering Computer programming Computing Transformation languages Metaprogramming Source code Dylan Hygienic macro Scheme Macro Scope Anonymous function		tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1. Add to Reading List Source URL: www.cs.utah.edu Download Document from Source Website File Size: 2,30 MB Share Document on Facebook

	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo DocID: 1xUUc - View Document
	Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington DocID: 1xTT5 - View Document
	COMMITTEE ON DIVERSITY & EQUAL OPPORTUNITY November 1, 2017 To: Dylan Rodriguez Riverside Division Academic Senate DocID: 1vqoc - View Document
	Record Of Mathematics (ROM) the Editors: Dylan, Jonathan, Mia T., Alex DocID: 1vpCK - View Document
	COMMITTEE ON FACULTY WELFARE October 31, 2017 To: Dylan Rodriguez Riverside Division Academic Senate DocID: 1vnxx - View Document