Jan Midtgaard
Orcid: 0000-0002-6506-5468
According to our database1,
Jan Midtgaard
authored at least 23 papers
between 2003 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2020
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020
2018
Proceedings of the Static Analysis - 25th International Symposium, 2018
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018
2017
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017
2016
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
2015
Sci. Comput. Program., 2015
2014
Proceedings of the 13th International Conference on Modularity, 2014
2013
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
2012
Inf. Comput., 2012
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2008
Proceedings of the Static Analysis, 15th International Symposium, 2008
2005
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.
Theor. Comput. Sci., 2005
2004
A functional correspondence between call-by-need evaluators and lazy abstract machines.
Inf. Process. Lett., 2004
2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003