Record · corpus.blog/posts/01a07df3-bfa6-71e6-bb06-648228f7ef97

Totality

Kowainik · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at kowainik.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 20
Words captured: 5,667

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://dhall-lang.org/

dhall-lang.org

https://vrom911.github.io/blog/common-stanzas

vrom911.github.io

https://github.com/kowainik

github.com

https://ucsd-progsys.github.io/liquidhaskell-blog/

ucsd-progsys.github.io

https://www.idris-lang.org/

idris-lang.org

https://wiki.portal.chalmers.se/agda/pmwiki.php

wiki.portal.chalmers.se

https://coq.inria.fr/

coq.inria.fr

https://en.wikipedia.org/wiki/Total_functional_programming

en.wikipedia.org

https://en.wikipedia.org/wiki/Partial_function

en.wikipedia.org

https://dzone.com/articles/total-and-partial-functions-in-fp

dzone.com

https://www.calculushowto.com/total-function/

calculushowto.com

https://lispcast.com/what-is-a-total-function/

lispcast.com

https://softwareengineering.stackexchange.com/questions/334874/in-the-context-of-functional-programming-what-are-total-functions-and-partia

softwareengineering.stackexchange.com

https://kseo.github.io/posts/2015-06-18-total-functional-programming.html

kseo.github.io

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.106.364&rep=rep1&type=pdf

citeseerx.ist.psu.edu

https://ucsd-progsys.github.io/liquidhaskell/options/

ucsd-progsys.github.io

https://goto.ucsd.edu/~nvazou/theorem-proving-for-all/03-Totality.html

goto.ucsd.edu

https://www.cs.nott.ac.uk/~psztxa/publ/pisigma-new.pdf

cs.nott.ac.uk

https://stackoverflow.com/questions/42151927/what-is-haskell-missing-for-totality-checking

stackoverflow.com

https://youtu.be/IcgmSRJHu_8

youtu.be