What does "general recursion" mean? Is recursion in LISP not "general"?
Brent
On 6/10/2020 12:08 PM, Philip Thrift wrote:
/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]
<mailto:[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
<https://groups.google.com/d/msgid/everything-list/f547910f-4e56-45a1-b7ff-eaa05b7f2f30o%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
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/4cc42076-4927-b8da-e0e9-2f62d73a3676%40verizon.net.
