compare

Most Popular Type Theory Websites

advertising

Careertest.net: Career Test Center - Discover Your Ideal Career

www.careertest.net

Career test based on type theory. Discover your personality and most ideal career.

Popularity: Tags: career test, type theory, carl jung, personality test  
advertising

Sencjw.com: Sencjw - Home

sencjw.com

Popularity: Tags: type theory, phd thesis  
advertising

Williamjbowman.com: William j. Bowman | Home

williamjbowman.com

William J. Bowman's home on the web.

Popularity: Tags: william, type theory, verification, ful  

Nuprl.org: Prl Project Home - Proofs as Programs

www.nuprl.org

implementing computational mathematics and providing logic-based tools that help automate programming

Popularity: Tags: proof, logic, computer science, type theory  

Tabareau.fr: Nicolas Tabareau

tabareau.fr

Homepage of Nicolas Tabareau at EMN/INRIA

Popularity: Tags: inria, category theory, game semantics, contraction  

Netsparrow.com: Netsparrow –

netsparrow.com

A resource for people of different personality types, with a focus on Myers-Briggs types, and introversion in particular.

Popularity: Tags: myers-briggs, mbti, jung, jungian types  

Sandapt.org: Sandapt San Diego Chapter of The Association For,psychological Type - Home

www.sandapt.org

SANDAPT San Diego Chapter of the Association for Psychological type

Popularity: Tags: mbti, myers-briggs, jung, type theory  

Mawarren.net: Michael a. Warren

mawarren.net

Michael A. Warren, researcher in mathematics, logic and computer science

Popularity: Tags: michael warren, math, computer science, mathematics  

Ahamsandwich.wordpress.com: a Ham Sandwich | Computer Science And Goings-on

ahamsandwich.wordpress.com

Computer Science and Goings-On

Popularity: Tags: ham sandwich, type theory, categories, languages  

Metatheorem.wordpress.com: Metatheorem | an Academic Blog on Programming Language Theory, Type Theory, And Being a Graduate Student.

metatheorem.wordpress.com

An academic blog on programming language theory, type theory, and being a graduate student.

Popularity: Tags: category theory, wordpress.com, type theory, definition  

Byorgey.files.wordpress.com: Blog :: Brent -> [string]

byorgey.files.wordpress.com

(by Brent)

Popularity: Tags: blog, category theory, axiom of choice, type theory  

Liamgoodacre.tumblr.com: Liam Goodacre

liamgoodacre.tumblr.com

I enjoy functional programming and cookies.

Popularity: Tags: constructions, type theory, programming languages, programming  

Fplab.bitbucket.org: Bitbucket | The Git Solution For Professional Teams

fplab.bitbucket.org

Collaborate on code with inline comments and pull requests. Manage and share your Git repositories to build and ship software, as a team.

Popularity: Tags: type theory, quotient, base  

Nuprl-web.cs.cornell.edu: Prl Project Home - Proofs as Programs

nuprl-web.cs.cornell.edu

implementing computational mathematics and providing logic-based tools that help automate programming

Popularity: Tags: proof, logic, computer science, type theory  

Uf-ias-2012.wikispaces.com: Uf-ias-2012 - Home

uf-ias-2012.wikispaces.com

Popularity: Tags: type theory, types  

Personalities.askdefine.com: Define Personalities | Dictionary And Thesaurus

personalities.askdefine.com

AskDefine is an online English dictionary. It features auto completion of search words, extensive set of dictionary words, lists of English synonms and rhymes. Visit the online dictionary.

Popularity: Tags: dictionary, online dictionary, online english dictionary, dictionary words  

Semantic-domain.blogspot.com: Semantic Domain

semantic-domain.blogspot.com

Popularity: Tags: type theory, programming, nottingham, lecturer  

Newsite.nuprl.org: Prl Project Home - Proofs as Programs

newsite.nuprl.org

implementing computational mathematics and providing logic-based tools that help automate programming

Popularity: Tags: proof, logic, computer science, type theory  

Dulydenoted.blogspot.com: Duly Denoted

dulydenoted.blogspot.com

Popularity: Tags: type theory, category, theories, types  

Careertestfree.blogspot.com: Career Test Free

careertestfree.blogspot.com

Career test based on type theory. Discover your personality and most ideal career.

Popularity: Tags: career test, type theory, carl jung, personality test