Hello all, I would like to recognize the contributions of MirageOS's functor DSL language, in a paper I am writing, but I don't know what the most appropriate academic paper to cite is. While I know that the functor language has been mentioned in some presentations (e.g. at ML workshop and ICFP), none of the papers listed on <https://mirage.io/wiki/papers> seem to have it as its primary focus. The obvious citation for MirageOS, the Unikernels paper, does not even have the word "functor" anywhere within it. At this point, this blog post seems like the best citation: https://mirage.io/blog/introducing-functoria Your guidance would be much appreciated.
Thanks, Edward _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
