AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Nils Anders Danielsson

Nils Anders Danielsson

University of Gothenburg - Göteborg / Sweden
Others
AD Scientific Index ID: 1242718
Göteborgs universitet
person_outline Nils Anders Danielsson's MOST POPULAR ARTICLES
1-) Lightweight semiformal time complexity analysis for purely functional data structures ACM SIGPLAN Notices 43 (1), 133-144, 2008
2-) Total parser combinators Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
3-) Operational semantics using the partiality monad Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
4-) Operational semantics using the partiality monad Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
5-) Partiality, revisited: The partiality monad as a quotient inductive-inductive type International Conference on Foundations of Software Science and Computation …, 2017