Johan Nordlander
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Pragmatic subtyping in polymorphic languages Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| Pragmatic subtyping in polymorphic languages Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| Positive supercompilation for a higher order call-by-value language Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Positive supercompilation for a higher-order call-by-value language Logical Methods in Computer Science | 2010-09-21 | Paper |
| The semantic layers of Timber. Lecture Notes in Computer Science | 2010-01-05 | Paper |
| Polymorphic subtyping in O'Haskell Science of Computer Programming | 2002-10-16 | Paper |
Research outcomes over time
This page was built for person: Johan Nordlander
