Hey guys, I'm an undergraduate student looking to study F* more deeply. In my college, we have a small programming languages group that meets every week to present papers. I'm starting off with the 2016 <https://www.fstar-lang.org/papers/mumon/paper.pdf>, 2017 <https://www.fstar-lang.org/papers/dm4free/> and 2018 <https://www.fstar-lang.org/papers/monotonicity/> papers, as recommended by the website. I'm trying to build a reading list for the next 20 weeks or so. Can anyone point me in the directions I could go in after the these papers?
Yours sincerely, Nitin John Raj
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club