Title | Citations | PageRank | Year |
---|---|---|---|
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. | 0 | 0.34 | 2021 |
Virtualization of HOL4 in Isabelle. | 0 | 0.34 | 2019 |
Deriving generic class instances for datatypes. | 0 | 0.34 | 2018 |
Orbit-Stabiliser Theorem with Application to Rotational Symmetries. | 0 | 0.34 | 2017 |