jonmsterling.com jonmsterling.com

jonmsterling.com

Jon Sterling

9225 Gates Hilman Center. School of Computer Science. Pittsburgh, PA 15213. I am a doctoral student of Robert Harper. At Carnegie Mellon University studying type theory, programming languages and semantics. Previously I received a B.A. in Linguistics from U.C. Berkeley. My other interests include category theory, topos theory, formalization of mathematics, Assyriology, ancient languages and literature, Marxism-Leninism-Maoism and Mao Zedong Thought. Computational models of guarded dependent type theory.

http://www.jonmsterling.com/

WEBSITE DETAILS
SEO
PAGES
SIMILAR SITES

TRAFFIC RANK FOR JONMSTERLING.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

November

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Friday

TRAFFIC BY CITY

CUSTOMER REVIEWS

Average Rating: 4.3 out of 5 with 12 reviews
5 star
7
4 star
4
3 star
0
2 star
0
1 star
1

Hey there! Start your review of jonmsterling.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

Desktop Preview Tablet Preview Mobile Preview

LOAD TIME

0.1 seconds

FAVICON PREVIEW

  • jonmsterling.com

    16x16

  • jonmsterling.com

    32x32

  • jonmsterling.com

    64x64

  • jonmsterling.com

    128x128

  • jonmsterling.com

    160x160

  • jonmsterling.com

    192x192

CONTACTS AT JONMSTERLING.COM

Contact Privacy Inc. Customer 0136736414

Contact Privacy Inc. Customer 0136736414

96 M●●●● Ave

To●●to , ON, M6K 3M1

CANADA

1416●●●●5457
jo●●●●●●●●●●●●●●@contactprivacy.com

View this contact

Contact Privacy Inc. Customer 0136736414

Contact Privacy Inc. Customer 0136736414

96 M●●●● Ave

To●●to , ON, M6K 3M1

CANADA

1416●●●●5457
jo●●●●●●●●●●●●●●@contactprivacy.com

View this contact

Contact Privacy Inc. Customer 0136736414

Contact Privacy Inc. Customer 0136736414

96 M●●●● Ave

To●●to , ON, M6K 3M1

CANADA

1416●●●●5457
jo●●●●●●●●●●●●●●@contactprivacy.com

View this contact

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED
2009 February 15
UPDATED
2014 February 14
EXPIRATION
EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

Network Solutions®

DOMAIN AGE

  • 16

    YEARS

  • 3

    MONTHS

  • 16

    DAYS

NAME SERVERS

1
ns1.hover.com
2
ns2.hover.com

REGISTRAR

TUCOWS DOMAINS INC.

TUCOWS DOMAINS INC.

WHOIS : whois.tucows.com

REFERRED : http://domainhelp.opensrs.net

CONTENT

SCORE

6.2

PAGE TITLE
Jon Sterling | jonmsterling.com Reviews
<META>
DESCRIPTION
9225 Gates Hilman Center. School of Computer Science. Pittsburgh, PA 15213. I am a doctoral student of Robert Harper. At Carnegie Mellon University studying type theory, programming languages and semantics. Previously I received a B.A. in Linguistics from U.C. Berkeley. My other interests include category theory, topos theory, formalization of mathematics, Assyriology, ancient languages and literature, Marxism-Leninism-Maoism and Mao Zedong Thought. Computational models of guarded dependent type theory.
<META>
KEYWORDS
1 jon sterling
2 carnegie mellon university
3 cscmuedu
4 research projects
5 teaching
6 with frank pfenning
7 preprints
8 substructural deduction
9 grothendieck toposes
10 other activities
CONTENT
Page content here
KEYWORDS ON
PAGE
jon sterling,carnegie mellon university,cscmuedu,research projects,teaching,with frank pfenning,preprints,substructural deduction,grothendieck toposes,other activities
SERVER
GitHub.com
CONTENT-TYPE
utf-8
GOOGLE PREVIEW

Jon Sterling | jonmsterling.com Reviews

https://jonmsterling.com

9225 Gates Hilman Center. School of Computer Science. Pittsburgh, PA 15213. I am a doctoral student of Robert Harper. At Carnegie Mellon University studying type theory, programming languages and semantics. Previously I received a B.A. in Linguistics from U.C. Berkeley. My other interests include category theory, topos theory, formalization of mathematics, Assyriology, ancient languages and literature, Marxism-Leninism-Maoism and Mao Zedong Thought. Computational models of guarded dependent type theory.

LINKS TO THIS WEBSITE

typetheorypodcast.com typetheorypodcast.com

Your Hosts | The Type Theory Podcast

http://typetheorypodcast.com/your-hosts

The Type Theory Podcast. A podcast about type theory. Jon is an amateur type theorist and philologist. Occasionally, he writes things. Darin is a former grad student who studied dependent type theory and programming languages at the University of Nottingham. David is a Ph.D. student at the IT University of Copenhagen. He is a contributor to the Idris.

mikeash.com mikeash.com

mikeash.com: Friday Q&A 2011-09-30: Automatic Reference Counting

https://www.mikeash.com/pyblog/friday-qa-2011-09-30-automatic-reference-counting.html

Mikeash.com: just this guy, you know? The Complete Friday Q&A. Advanced topics in Mac OS X and iOS programming. My GitHub page, containing various open-source libraries for Mac and iOS development, and some miscellaneous projects. HD Ridge Running Video. Day in the Life. Soaring Society of America. Ten simple points to follow to get good answers on IRC, mailing lists, and other places. Miscellaneous old, rarely-updated content. Posted at 2011-09-30 15:02 RSS feed. The Clang static analyzer. It for me too?

UPGRADE TO PREMIUM TO VIEW 11 MORE

TOTAL LINKS TO THIS WEBSITE

13

SOCIAL ENGAGEMENT



OTHER SITES

jonmsm.com jonmsm.com

Jonmsm.com - Affiliate links

Check out our partners sites today!

jonmsmithandassociates.com jonmsmithandassociates.com

Welcome jonmsmithandassociates.com - Hostmonster.com

Web Hosting - courtesy of www.hostmonster.com.

jonmstafford.com jonmstafford.com

Jon M Stafford | Author

Jon M Stafford Author. Release Date: November 11, 2014. The soldiers of World War II were ordinary men who found themselves in extraordinary circumstances. Unable to ignore their obligations to their country and to the world, these men bravely faced combat. Many of them never sought reward or accolades, but simply returned from war, forever changed and forever humbled by the tenuous balance of life and death. This entry was posted in Uncategorized. June 19, 2014. Available in these eBook formats:.

jonmstaffordreluctantwarriors-redemption.com jonmstaffordreluctantwarriors-redemption.com

Jon M Stafford | Author

Jon M Stafford Author. Release Date: November 11, 2014. The soldiers of World War II were ordinary men who found themselves in extraordinary circumstances. Unable to ignore their obligations to their country and to the world, these men bravely faced combat. Many of them never sought reward or accolades, but simply returned from war, forever changed and forever humbled by the tenuous balance of life and death. This entry was posted in Uncategorized. June 19, 2014. Available in these eBook formats:.

jonmstaffordreluctantwarriors.com jonmstaffordreluctantwarriors.com

Jon M Stafford | Author

Jon M Stafford Author. Release Date: November 11, 2014. The soldiers of World War II were ordinary men who found themselves in extraordinary circumstances. Unable to ignore their obligations to their country and to the world, these men bravely faced combat. Many of them never sought reward or accolades, but simply returned from war, forever changed and forever humbled by the tenuous balance of life and death. This entry was posted in Uncategorized. June 19, 2014. Available in these eBook formats:.

jonmsterling.com jonmsterling.com

Jon Sterling

9225 Gates Hilman Center. School of Computer Science. Pittsburgh, PA 15213. I am a doctoral student of Robert Harper. At Carnegie Mellon University studying type theory, programming languages and semantics. Previously I received a B.A. in Linguistics from U.C. Berkeley. My other interests include category theory, topos theory, formalization of mathematics, Assyriology, ancient languages and literature, Marxism-Leninism-Maoism and Mao Zedong Thought. Computational models of guarded dependent type theory.

jonmstewart.com jonmstewart.com

Jonathan Stewart

Do you find yourself with an app idea, but more questions than answers. Let's chat. Put my experience evaluating and building technical solutions to work for you. Put me and a team of full service application developers. To work for you. We design and build web based technical solutions. With over 15 years combined experience transforming ideas to real world solutions. Have a bigger project in mind? Need to start small and then scale?

jonmstraub.hackhut.com jonmstraub.hackhut.com

Jon's Electronic Playground

Reverse engineering the world. Jon's Electronic Playground. Just another HackHut site. Electronics Desk, Finally Getting There. March 22nd, 2011. As old man winter is on his death bed with occasional AED bursts of life, I found the weather tolerable to be in the garage to do some work. Near the end of last fall, I bought most (read one 4×8 sheet of particle board short) of the materials to build the electronics bench I designed. These …. 555 Contest Entry – PCB Etching Controller – Schematics. Let’...

jonmstyer.com jonmstyer.com

JON M. STYER PORTFOLIO

JON M STYER PORTFOLIO. Design branding photo illustration food music. JMU Office of International Programs. Zehr Institute for Restorative Justice. EMU brand identity management. The Center for Justice and Peacebuilding. Red Wing Roots Music Festval. JON M STYER 2015. JMU Office of International Programs. Zehr Institute for Restorative Justice. EMU brand identity management. The Center for Justice and Peacebuilding. Red Wing Roots Music Festval.

jonmstyer.weebly.com jonmstyer.weebly.com

- Blog

Finest Chiropractor throughout Jupiter FL. It's not necessarily essential on many occasions to have to be able to chance surgical procedures or knowledge a prolonged costly remain in a medical facility in order that the body to be able to adequately heal itself. Yet it is vital which whatever you choose to do that you simply seek out the attention of an qualified health-related career regarding advice as just about every damage is unique and will have to have a different strategy. Create a free website.

jonmsweeney.wordpress.com jonmsweeney.wordpress.com

AlmostCatholic | Just another WordPress.com weblog

About Jon M. Sweeney. Not blogging much anymore. On October 28, 2012. If you are visiting this page as a way to find out something about me and my work, I need to tell you that I am not often here. I find that I don’t have much time (or, to be honest, make much time) for blogging these days. Please look for me instead through my books ( The Pope Who Quit: A True Medieval Tale of Mystery, Death, and Salvation. Giving to the poor. Can You Spare the Bread? On August 23, 2012. Solomon asked. And then, we...