Websites linking back to idris-lang.org

12 websites are linking back to idris-lang.org in their content.

Total results: 12
Domains on this page: 12

Results:

My Weblog

http://portalrankings.com/info/mukeshiiitm.wordpress.com

Blog about programming and math

Google Analytics code: 52447-2

Steven Shaw - Home

http://portalrankings.com/info/steshaw.org

Steven Shaw loves programming languages

Google Analytics code: 62781857-1
Updated On (Date): 2014-Mar-19
Expiration time: 2019-Mar-28
Website Registered On (Date): 2010-Mar-28

Idris | A Language with Dependent Types

http://portalrankings.com/info/idris-lang.org

Updated On (Date): 2017-Mar-10
Expiration time: 2019-Apr-02
Website Registered On (Date): 2010-Apr-02

Adventurous Computing | Adventurous Computing

http://portalrankings.com/info/cyplo.net

Boldly go where no programmer has gone before.

Updated On (Date): 2018-Feb-11
Expiration time: 2018-Jun-02
Website Registered On (Date): 2005-Jun-02

Edwin Brady

http://portalrankings.com/info/edwinb.wordpress.com

I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (DSLs). I am currently working on the implementation of DSLs for stateful, resource-aware programming, especially for correct network protocol design and implementation, using Idris, a dependently typed functional programming…

sitr.us

http://portalrankings.com/info/sitr.us

Last updated 2017-03-20 I have been programming primarily in Go for about six months. I find it frustrating. There are two reasons for this: First, …