Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
1
Computational effects can now be statically checked and dynamically executed under a single architecture without hard-coding the underlying monad into the language interpreter.