wonks.github.io
plwonksA collection of programming language enthusiasts from Indiana University.
http://wonks.github.io/
A collection of programming language enthusiasts from Indiana University.
http://wonks.github.io/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Saturday
LOAD TIME
1.2 seconds
PAGES IN
THIS WEBSITE
16
SSL
EXTERNAL LINKS
7
SITE IP
23.235.46.133
LOAD TIME
1.192 sec
SCORE
6.2
plwonks | wonks.github.io Reviews
https://wonks.github.io
A collection of programming language enthusiasts from Indiana University.
wonks.github.io
An Introduction to Expressing Contracts as Patterns of Communication
http://wonks.github.io/swords/contracts/spring2015/2015/03/27/swords-mon-comm.html
An Introduction to Expressing Contracts as Patterns of Communication. Mar 27, 2015. Contribute to this site. A collection of programming language enthusiasts from Indiana University.
Running Typed Racket Backwards
http://wonks.github.io/bonnaire-sergeant/spring2015/2015/03/06/bonnaire-sergeant-typed-racket.html
Running Typed Racket Backwards. Mar 6, 2015. Typed Racket can type check typical Racket programs via occurrence typing, which uses information collected at conditional tests to refine types down conditional branches. We introduce the fundamentals of occurrence typing and then see what programs an implementation of occurrence typing in miniKanren can check (and generate! Contribute to this site. A collection of programming language enthusiasts from Indiana University.
Ask me anything!
http://wonks.github.io/friedman/ama/spring2015/2015/05/01/friedman-ama.html
May 1, 2015. Dan Friedman will be performing an informal AMA this Friday during our usual time slot. Come ready with questions to ask, from his early work in the field to stories about colleagues to his current work. Contribute to this site. A collection of programming language enthusiasts from Indiana University.
Semester Organizational Meeting
http://wonks.github.io/organizational/spring2015/2015/01/23/organizational-meeting.html
Jan 23, 2015. This week we’ll be gathering to assign a schedule for this semester. Dan Friedman (Square Donuts). ICFP DUE - WONKS CANCELLED. Contribute to this site. A collection of programming language enthusiasts from Indiana University.
Chiastic Lambda-Calculi
http://wonks.github.io/romano/spring2015/2015/03/13/romano-chiastic.html
Mar 13, 2015. In my dissertation I develop a family of calculi:. Connections between monads, material set theories, staged computation, and laziness. Contribute to this site. A collection of programming language enthusiasts from Indiana University.
TOTAL PAGES IN THIS WEBSITE
16
Résumé - Ryan Scott
http://ryanglscott.github.io/resume
Theme by Gayan Virajith. Under the MIT license. Bloomington, Indiana. August 2015 present. Pursuing a Ph.D in Computer Science. University of Kansas (KU). Lawrence, Kansas. August 2011 May 2015. B.S. in Computer Science with Mathematics minor. Graduate Research Assistant, Center for Research in Extreme Scale Technologies. Bloomington, Indiana. Summer 2015 present. Working on making GHC work with high-performance distributed runtimes (see. And benchmarking GHC performance. Intern, Intel Labs. Bloomington,...
Sam Tobin-Hochstadt
http://www.ccs.neu.edu/home/samth
The most important decisions a scholar makes are what problems to work on. School of Informatics and Computing. Email: samth@cs.indiana.edu. Blog: Scripts to Programs. I'm looking for new Ph.D students at Indiana University Computer Science. If you are interested. Towards Practical Gradual Typing. Earl Dean, Daniel Felty, Matthias Felleisen. To appear at ECOOP 2015. Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy. To appear at SNAPL 2015. Monotonic References for efficient gradual typing. My research f...
Embedding, deep and shallow - composition.al
http://composition.al/blog/2015/06/02/embedding-deep-and-shallow
Embedding, deep and shallow. Not long ago, I wanted to better understand the notions of “deeply” and “shallowly” embedded languages. Here I mean “embedded” in the sense of, say, “domain-specific language embedded in Haskell”, although it doesn’t actually matter to me what the host language is, or whether the embedded language is “domain-specific”. My understanding of the difference had been something like this:. I asked a few colleagues from IU. So, the more operations I want to perform, the fewer embedd...
TOTAL LINKS TO THIS WEBSITE
7
World4You Kundenwebsite
Hier entsteht eine neue Kunden-Website -. Herzlich Willkommen im hochverfügbaren Hostingnetzwerk von World4You. Wir freuen uns, Sie als neuen Kunden begrüßen zu dürfen. Ihr Domainname sowie Ihr Server sind bereits aktiv. Die Leistungen stehen ab sofort für Sie zur Verfügung. Nutzen Sie unsere Onlineverwaltung, um zum Beispiel Ihre Emailadressen einzurichten. Mit nur wenigen Klicks sind die neuen Emailadressen (name@IhreDomain.at) weltweit erreichbar! Wichtige Information an den Webmaster dieser Domain:.
Zen Of Design | The design and business of gaming from the perspective of an experienced developer
The design and business of gaming from the perspective of an experienced developer. July 23, 2015. Daniel Vavra’s got some commentary on diversity from a slightly different slant. 8216; bizarre critique of the social critics who dared to even start a dialog about race in WItcher 3, and games in general. Note; questioning the artistic vision is just fine when you ask why the art direction seems like a massive step backwards. Again, the critics in question gave it a solid 8.0. The communist regime also mea...
Wonk Report - The Floor is Yours
Keep me signed in. The Floor is Yours. Got something to say? What are Ariana Grande's Politics and does she REALLY hate Americans? Twitter.com/DanGlenn WR/status…. July 8, 2015 7:21 pm. For Police Report III! Awesome series on the messed up law enforcement system. #TheFloorIsYours. June 29, 2015 3:53 pm. Here are many reasons why the Confederate Flag must go: wonkreport.com/article/confede…. June 26, 2015 8:50 pm. Put Your Money Where Your Vote Is. 2016 Presidential Power Rankings: Republican Primaries.
wonkronk
Friday, November 11, 2011. From Penn State to Europe, Pro-Rape Forces Regroup After Week Of Setbacks. It was a tough week for the pro-rape forces. Child-raping former Penn State football assistant coach Jerry Sandusky was dragged off in shackles. Saturday, and his enablers were fired Wednesday. Voters in Mississippi Tuesday turned back. Even jovial GOP presidential candidate Herman Cain was coming under fire. Just for inappropriately groping some women and making a few disgusting personal suggestions.
Blog de Wonks-lL - Fais comme si tu etais chez toi .. :) - Skyrock.com
Mot de passe :. J'ai oublié mon mot de passe. Fais comme si tu etais chez toi . :). 17Avril2009 , La perfection ma quitter! Arnaud me manque .RIP! Amis accepter si tu laisse un commentaire :). ClLéèm and Laura . (Y)(lL). 10084;❥❤❥❤❥. LOY TU ES LA FEMME DE MA VIE , NOTRE RENCONTRE C'EST LA PLUS BELLE DE TOUTES! A LA VIE A LA MORT . NOTRE MARIAGE 27 MARS 2010 XD . JE T'AIME PIRE QUE TOUS! 10084;❥❤❥❤❥. Mise à jour :. Ecoute Skyrock en live. Les n 1 sont Rap and RnB. Abonne-toi à mon blog! Ou poster avec :.
plwonks
Our official mailing list. Our group's research interests cover a wide spectrum of topics. Check out some of our work: Boost, Build-to-Order BLAS, C Concepts, Chapel Generics, HANSEI, JavaScript Modules, Racket and Typed Racket, miniKanren, LVars, monad-par, meta-par, WaveScript. Relational and Logic Languages, Meta-circularity, Reflection. Streaming, Distributed and GPU DSLs, Haskell Deterministic Parallelism. Quantum Computing, Type Theory, Information Effects. Probabilistic Programming, Semantics.
wonks123's blog - Des tag - Skyrock.com
Tkt mate moi ses tag. 04/07/2007 at 3:10 PM. 14/09/2008 at 4:55 AM. Subscribe to my blog! C'est que mon deuxieme il sont pas encore extra mais bon. Mais bientot je serer me mieux me servir de paint pour vous faire des chef d'oeuvre. Don't forget that insults, racism, etc. are forbidden by Skyrock's 'General Terms of Use' and that you can be identified by your IP address (66.160.134.62) if someone makes a complaint. Posted on Sunday, 23 September 2007 at 3:28 AM. Encor un tag pour elle :D. Voila ses pour ...
wonksandgeeks | Policy and nerdery.
Holding the economy hostage. Even if you disagree with every one of Mitt Romney’s policies, there’s a chance he’s still the best candidate to lift the economy in 2013. A whole bunch of evidence]. But isn’t this negotiating with terrorists? Isn’t this just like the debt ceiling deal of last year, that embarrassment of governance, where Republicans held a gun to the economy’s head and dared us to call their bluff? If we are just going to sit there and accept this style of government, then where does it end?
WonksBeer.com - Good beer, great times!
Welcome to WonksBeer.com! Pictures and descriptions of my very own beer factory! The pages contained within this section catalogs my adventures brewing on weekends with family and friends. Informational pieces and links that I feel are useful to someone who is either a home brewer or would like to learn more about home brewing as a hobby. Have you guessed yet that I may enjoy beer a little too much? Click here to sign up for the most cost effective hosting I have found yet!
Wonksbrother (Azza and Wonk Askew) - DeviantArt
Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) " class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ". Join DeviantArt for FREE. Forgot Password or Username? Azza & Wonk. Azza and Wonk Askew. Deviant for 4 Years. This deviant's full pageview. Azza and Wonk Askew. Last Visit: 42 weeks ago. Azza & Wonk. This is the place where you can personalize your profile! I have...
Welcome wonkservices.com - BlueHost.com
Web Hosting - courtesy of www.bluehost.com.
SOCIAL ENGAGEMENT