Name		Name	Last commit message	Last commit date
lfcs-2021-seminar-talk		lfcs-2021-seminar-talk
Makefile		Makefile
README.md		README.md
a-normal-form.scrbl		a-normal-form.scrbl
al.rkt		al.rkt
anf-testing-confluence.rkt		anf-testing-confluence.rkt
anf.rkt		anf.rkt
base.rkt		base.rkt
bib.rkt		bib.rkt
cc.rkt		cc.rkt
cc2.rkt		cc2.rkt
code-gen.rkt		code-gen.rkt
compose.rkt		compose.rkt
defs.rkt		defs.rkt
hoist.rkt		hoist.rkt
lambda-a.rkt		lambda-a.rkt
lambda-b.rkt		lambda-b.rkt
lambda-cc.rkt		lambda-cc.rkt
lambda-h.rkt		lambda-h.rkt
lambda-mil.rkt		lambda-mil.rkt
lambda-s.rkt		lambda-s.rkt
notes.md		notes.md
paper.scrbl		paper.scrbl
prisc-extra.tex		prisc-extra.tex
prisc2021-abstract.scrbl		prisc2021-abstract.scrbl
sketch.md		sketch.md
source.scrbl		source.scrbl
specify.rkt		specify.rkt
trace-anf-eg.rkt		trace-anf-eg.rkt
wilbowma.bib		wilbowma.bib

Repository files navigation

Compilation as Multi-Language Semantics

This repo is my notebook on studying multi-language semantics and compilation.

The most recent document is the extended abstract, prisc2021-abstract.scrbl.

sketch.md is an early draft explaining the idea at a high level. notes.md are misc notes.

About

a compiler from a lambda language to an assembly language, as a rewrite system

16 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages