corpus.blog
41,554 blogs · 4,904,241 posts Claim your blog
Record · corpus.blog/posts/01a0876e-7582-7116-b74e-35256a7f4372

Verifying Data Structures in Haskell

doisinkidney.com · 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 doisinkidney.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
28
Words captured
21,430

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.reddit.com/r/haskell/comments/63a4ea/fast_total_sorting_of_arbitrary_traversable/
reddit.com
https://elvishjerricco.github.io/2017/03/23/applicative-sorting.html
elvishjerricco.github.io
https://github.com/treeowl/sort-traversable
github.com
https://github.com/oisdk/type-indexed-queues
github.com
https://wiki.haskell.org/Peano_numbers
wiki.haskell.org
https://hackage.haskell.org/package/singletons
hackage.haskell.org
https://typesandkinds.wordpress.com/2016/07/24/dependent-types-in-haskell-progress-report/
typesandkinds.wordpress.com
https://hackage.haskell.org/package/base-4.9.1.0/docs/GHC-Exts.html
hackage.haskell.org
https://stackoverflow.com/questions/42179783/is-there-any-way-to-inline-a-recursive-function
stackoverflow.com
https://en.wikipedia.org/wiki/Apply
en.wikipedia.org
https://web.archive.org/web/20200425072356/http://www.cs.cmu.edu/~adamchik/15-121/lectures/Binary%20Heaps/heaps.html
web.archive.org
https://github.com/oisdk/Square
github.com
https://web.archive.org/web/20221006081049/https://www.idris-lang.org/docs/0.12/contrib_doc/docs/Control.WellFounded.html
web.archive.org
https://docs.idris-lang.org/en/latest/tutorial/theorems.html
docs.idris-lang.org
https://stackoverflow.com/a/13241158/4892417
stackoverflow.com
https://www.youtube.com/watch?v=u_OsUlwkmBQ
youtube.com
https://github.com/Z3Prover/z3
github.com
https://hackage.haskell.org/package/ghc-typelits-natnormalise
hackage.haskell.org
https://hackage.haskell.org/package/base-4.9.1.0/docs/GHC-TypeLits.html
hackage.haskell.org
https://web.archive.org/web/20141223111232/http://lambda.jstolarek.com:80/2014/10/weight-biased-leftist-heaps-verified-in-haskell-using-dependent-types/
web.archive.org
https://doi.org/10.1017/S095679680000201X
doi.org
https://doi.org/10.1145/2804302.2804307
doi.org
https://doi.org/10.1145/2364506.2364522
doi.org
https://doi.org/10.1007/BF01840439
doi.org
https://doi.org/10.1017/S0956796899003317
doi.org
https://doi.org/10.1017/S095679680100404X
doi.org
https://doi.org/10.1145/317765.317781
doi.org
https://themonadreader.files.wordpress.com/2010/05/issue16.pdf
themonadreader.files.wordpress.com