<--- Back to Details
First PageDocument Content
Transformation languages / Source code / Dylan / Hygienic macro / Metaprogramming / Scheme / Macro / Anonymous function / Scope / Preprocessor / Namespace / IMP
Date: 2014-01-06 09:39:58
Transformation languages
Source code
Dylan
Hygienic macro
Metaprogramming
Scheme
Macro
Anonymous function
Scope
Preprocessor
Namespace
IMP

§1 LESSONS FROM CHEZWEB INTRODUCTION

Add to Reading List

Source URL: scheme2011.ucombinator.org

Download Document from Source Website

File Size: 91,99 KB

Share Document on Facebook

Similar Documents

Computer architecture / Computing / Formal methods / Logic in computer science / Kernel / Linux kernel / L4 microkernel family / Mach / Verification / X86-64 / Formal verification / Satisfiability modulo theories

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

Computer architecture / Computing / System software / Central processing unit / ARM architecture / Translation lookaside buffer / Hypervisor / Protection ring / QEMU / X86 virtualization / Hyper-V / Second Level Address Translation

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