Dionna Amalie Glaze deeglaze

I work in Google Cloud Security on confidential computing technology.

deeglaze / compile-0cfa.rkt

Created October 4, 2012 17:24 — forked from dvanhorn/compile-0cfa.rkt

Compilation for 0CFA with lazy dereferencing

	#lang racket

	(require racket/trace
	(for-syntax syntax/parse))
	;; 0CFA in the AAM style on some hairy Church numeral churning

	;; Soundness, but at what cost?

	(define <- (case-lambda))
	(begin-for-syntax