TiarkRompf / Collapsing Towers
Collapsing Towers of Interpreters
Stars: ✭ 61
Labels
Projects that are alternatives of or similar to Collapsing Towers
Jt89
sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility
Stars: ✭ 14 (-77.05%)
Mutual labels: coq
Certint
A Certified Interpreter for ML with Structural Polymorphism
Stars: ✭ 39 (-36.07%)
Mutual labels: coq
Stalin Sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Stars: ✭ 868 (+1322.95%)
Mutual labels: coq
Profunctor Monad
Bidirectional programming in Haskell with monadic profunctors
Stars: ✭ 30 (-50.82%)
Mutual labels: coq
Freespec
A framework for implementing and certifying impure computations in Coq
Stars: ✭ 41 (-32.79%)
Mutual labels: coq
Silveroak
Formal specification and verification of hardware, especially for security and privacy.
Stars: ✭ 51 (-16.39%)
Mutual labels: coq
Scala Escape
A compiler plug-in to control object lifetimes in Scala
Stars: ✭ 60 (-1.64%)
Mutual labels: coq
Collapsing Towers of Interpreters
We are concerned with the following challenge: given a sequence of programming
languages L_0,...,L_n
and interpreters for L_i+1
written in L_i
, derive
a compiler from L_n
to L_0
. This compiler should be one-pass, and it should be
optimal in the sense that the translation removes all interpretive overhead of the
intermediate languages.
See popl18
directory for the authorative artifact accompanying the POPL 2018 paper Collapsing Towers of Interpreters.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].