by Danner, Norman, Royer, James S.
Published in Logical methods in computer science (13.03.2007)

by DANNER, NORMAN, LICATA, DANIEL R.
Published in Journal of functional programming (01.01.2022)

by Kavvos, G. A., Morehouse, Edward, Licata, Daniel R., Danner, Norman
Published in Proceedings of ACM on programming languages (01.01.2020)

by Cutler, Joseph W., Licata, Daniel R., Danner, Norman
Published in Proceedings of ACM on programming languages (02.08.2020)

by Danner, Norman
Year of Publication 05.08.2022

by Pollett, Chris, Danner, Norman
Published in Theoretical computer science (18.09.2007)

by Danner, Norman
Published in arXiv.org (05.08.2022)

by Danner, Norman, Licata, Daniel R
Published in arXiv.org (20.05.2022)

by Danner, Norman, Royer, James S
Year of Publication 20.05.2022

by Danner, Norman, Pollett, Chris
Published in Mathematical logic quarterly (01.12.2006)

by Danner, Norman, Pollett, Chris
Published in Mathematical logic quarterly (01.12.2006)

by Danner, Norman, Royer, James S.
Published in Theory of computing systems (01.11.2009)

by Danner, Norman, Royer, James S
Published in arXiv.org (20.05.2022)

by Cutler, Joseph W, Licata, Daniel R, Danner, Norman
Published in arXiv.org (31.07.2020)

by Kavvos, G A, Morehouse, Edward, Licata, Daniel R, Danner, Norman
Published in arXiv.org (11.11.2019)

by Danner, Norman, Licata, Daniel R, Ramyaa, Ramyaa
Year of Publication 05.06.2015

by Danner, Norman, Royer, James S.
Published in Computation and Logic in the Real World (2007)

by Danner, Norman, Royer, James S
Year of Publication 22.01.2012

by Danner, Norman, DeFabbia-Kane, Sam, Krizanc, Danny, Liberatore, Marc
Published in arXiv.org (03.10.2013)

by Danner, Norman, Licata, Daniel R, Ramyaa, Ramyaa
Published in arXiv.org (05.06.2015)