search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Modular Types + Symbols #92

Open gmalecha opened 7 years ago

gmalecha commented 7 years ago

The current examples duplicate a lot of code. Part of this is for the purpose of keeping individual examples self-contained, but we really should find a way to factor out a substantial amount of the underlying code.

The ESOP paper (and my dissertation) explain how we do this, but the main stumbling block is getting the interfaces convenient.

gmalecha commented 7 years ago

@jesper-bengtson has making good progress on this.