*We propose a full-spectrum dependently typed programming language, Zombie, which supports general recursion natively. ... Zombie also features an optional termination-checker, allowing nonterminating programs returning proofs as well as external proofs about programs.*
Vilhelm Sjöberg - https://www.cs.yale.edu/homes/vilhelm/ Stephanie Weirich - https://www.seas.upenn.edu/~sweirich/ https://www.cis.upenn.edu/~sweirich/papers/sjoberg-thesis.pdf @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/f547910f-4e56-45a1-b7ff-eaa05b7f2f30o%40googlegroups.com.