J
onas
R
ädle
E-Mails 📧
moc
.
liamg
@
eldear
.
sanoj
ed
.
mut
@
eldear
.
sanoj
Entries
2018
Deriving generic class instances for datatypes
by
Jonas Rädle
📧
and
Lars Hupel
🌐
Nov 06
2017
Orbit-Stabiliser Theorem with Application to Rotational Symmetries
by
Jonas Rädle
📧
Aug 20