research
research copied to clipboard
anoma
Early-stage research related to the Anoma protocols.
Similar to anoma/juvix#457 The context should be able to handle with the following scenario - Package `Baz` - Creates module `Foo` and exports `Foo` - Package `Graph` - grabs module...
QTT does not natively support induction derivation; we need to add typing rules for it. Some options are: - Add primitive datatypes (e.g. Nat) with elimination rules which can be...
This will be very helpful to ensure we've implemented everything correctly, increase our intuitional grasp on the system, and produce attractive visualizations. - Convert an interaction net graph into a...
If we only reduce primary pairs, we will end up performing unnecessary evaluation on garbage. See e.g. [BOHM](https://pdfs.semanticscholar.org/3517/03af066fd2e65ad64c63108672d960b9d8fb.pdf) p.26 if `M` is connected to an `if-then-else` subgraph which is disconnected....
How best to optimize (~ reduce normalization time & space cost) [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets)? Note that the following properties have to be preserved: - Locality on active pairs - Strong confluence...
Basically [this paper](https://theory.stanford.edu/~aiken/publications/papers/asplos13.pdf) - utilize sparse sampling (probably MCMC) to search the configuration space of semantically equivalent programs, and select the fastest. Will need a lot of clever tricks to...
Namely, those with the possibly of asymmetrically-better performance than Levy's optimal reduction. As far as I can tell, the only candidates here are forms of memoization which attempt to detect...