GitHub - 8l/asif: A Self-Interpreter for F-omega

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
bin		bin
doc		doc
fomega		fomega
src/Language/FOmega		src/Language/FOmega
tests		tests
FOmega.cabal		FOmega.cabal
LICENSE		LICENSE
README.txt		README.txt
Setup.hs		Setup.hs
popl16-full.pdf		popl16-full.pdf

Repository files navigation

This is the artifact for 
    Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega  (POPL'16)

Artifact URL: http://compilers.cs.ucla.edu/popl16

Instructions for artifact evaluation: doc/readme.html

For questions or comments, please contact Matt Brown (msb@cs.ucla.edu)