John Greiner

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!

PublicationDate of PublicationType
A provable time and space efficient implementation of NESL
Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96
2016-09-01Paper
Weak polymorphism can be sound
Journal of Functional Programming
1996-06-09Paper


Research outcomes over time


This page was built for person: John Greiner