corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Blog · corpus.blog/blogs/existentialtype.wordpress.com

existentialtype.wordpress.com

existentialtype.wordpress.com · uncategorised · English

Posts on record
45
First published
16 March 2011
Last published
4 November 2017
Feed
existentialtype.wordpress.com/feed/
Language
English
Category
uncategorised

Is this your blog?

Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.

Claim existentialtype.wordpress.com
31blogs citing
51 links from citing blogs

Most cited pages

Page
Blogs
Dynamic Languages are Static Languages
/2011/03/19/dynamic-languages-are-static-languages/
10blogs
The Holy Trinity
/2011/03/27/the-holy-trinity/
5blogs
Boolean Blindness
/2011/03/15/boolean-blindness/
4blogs
Modules Matter Most
/2011/04/16/modules-matter-most/
4blogs
existentialtype.wordpress.com/
3blogs
Parallelism Is Not Concurrency
/2011/03/17/parallelism-is-not-concurrency/
2blogs
Persistence of Memory
/2011/04/09/persistence-of-memory/
2blogs
The Point of Laziness
/2011/04/24/the-real-point-of-laziness/
2blogs
Of Course ML Has Monads!
/2011/05/01/of-course-ml-has-monads/
2blogs
Polarity in Type Theory
/2012/08/25/polarity-in-type-theory/
2blogs
Functions Are Values
/2011/04/02/functions-are-values/
1blogs
Words Matter
/2012/02/01/words-matter/
1blogs
Referential Transparency
/2012/02/09/referential-transparency/
1blogs
existentialtype.wordpress.com/2012/08/14/haskell-is-exceptionally-unsafe/
1blogs
Exceptions Are Shared Secrets
/2012/12/03/exceptions-are-shared-secrets/
1blogs
existentialtype.wordpress.com/2012/12/03/pfpl-is-out/
1blogs
existentialtype.wordpress.com/2013/06/22/whats-the-big-deal-with-hott/
1blogs
What, If Anything, Is A Declarative Language?
/2013/07/18/what-if-anything-is-a-declarative-language/
1blogs

Blogs citing this one

Blog
Links
Posts
axisofeval.blogspot.com
5
5
blog.ezyang.com
8
4
burakemir.ch
3
3
azdavis.net
2
2
chriswarbo.net
2
2
deontologistics.co
2
2
semantic-domain.blogspot.com
2
2
dr-knz.net
2
1
patternsinfp.wordpress.com
2
1
ro-che.info
2
1
alhassy.com
1
1
blog.daniel-beskin.com
1
1
blog.ielliott.io
1
1
blog.podsnap.com
1
1
brianmckenna.org
1
1
chrisdone.com
1
1
cs-syd.eu
1
1
dorophone.blogspot.com
1
1
grahamenos.com
1
1
k-monk.org
1
1

Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.

Similar blogs

Blog
Linked in common
tagide.com
5sites

Blogs that link to the same sites as existentialtype.wordpress.com. Sites only a few blogs link to count for more than ones everybody links to.

Recent posts

Sequentiality as the Essence of Parallelismoriginal ↗
4 Nov 2017
Proofs by contradiction, versus contradiction proofsoriginal ↗
4 Mar 2017
PCLSRING in Semanticsoriginal ↗
11 Jul 2016
PFPL Commentaryoriginal ↗
3 Jun 2016
It Is What It Is (And Nothing Else)original ↗
22 Feb 2016
The Power of Negative Thinkingoriginal ↗
27 Jan 2015
Structure and Efficiency of Computer Programsoriginal ↗
29 Sept 2014
Scotland: Vote Nooriginal ↗
15 Sept 2014
Summer of Programming Languagesoriginal ↗
6 Jul 2014
Bellman on “Dynamic Programming”original ↗
21 Apr 2014
Parallelism and Concurrency, Revisitedoriginal ↗
10 Apr 2014
Old Neglected Theorems Are Still Theoremsoriginal ↗
21 Mar 2014
There Is Such A Thing As A Declarative Language, and It’s The World’s Best DSLoriginal ↗
22 Jul 2013
What, If Anything, Is A Declarative Language?original ↗
18 Jul 2013
Constructive Mathematics Is Not Metamathematicsoriginal ↗
10 Jul 2013
All 45 posts, by year

A source page reaches every post it holds, not only the newest fifteen.