*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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/f547910f-4e56-45a1-b7ff-eaa05b7f2f30o%40googlegroups.com.
