[MirageOS-devel] Citation for Functoria / the functor DSL

["Edward Z. Yang" <ezyang@xxxxxxxxxxxxxxx>]

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
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel