This repository hosts the Scala version of the code from the paper "Finally Tagless Partially Evaluated" by Carette et al.
Note: Since we do not have staging, we use ADTs for trees and evaluate them with a gros hack of an interpreter.
This repository hosts the Scala version of the code from the paper "Finally Tagless Partially Evaluated" by Carette et al.
Note: Since we do not have staging, we use ADTs for trees and evaluate them with a gros hack of an interpreter.