July 2009
1 post
JastAdd →
Jul 13th
June 2009
3 posts
libclosure →
Jun 22nd
“Here are the software tools that Eric Eide and John Regehr developed during the...”
– Compiler-Testing Tools
Jun 9th
“Instant Generics (IG) is an approach to datatype-generic programming in Haskell...”
– Manuel M T Chakravarty - Instant Generics
Jun 7th
May 2009
7 posts
CiteSeerX — Functional Pearl: Polytypic... →
May 12th
ICFP 2009 Accepted Submissions →
May 12th
arjunguha's webbits at master - GitHub →
May 4th
May 4th
2 notes
“Abstract: Some type systems are first described formally, to be sometimes...”
– RulerProgrammingTypeRules < Ehc < TWiki
May 2nd
1 note
CS 312 Schedule Spring 2005 →
(S)ML でいろいろ実装? Type checking あたりからが興味深い.
May 2nd
読書メーター - あなたの読書量をグラフで管理 →
May 1st
April 2009
2 posts
“C/C++ セキュアコーディングセミナー資料”
– JPCERT コーディネーションセンター
Apr 28th
Path Tracing » Publications →
Apr 12th
March 2009
8 posts
“Parabix (Parallel bit streams for XML - TM) demonstrates a fundamentally new way...”
– Parabix - Trac
Mar 30th
Bloomberg／デリバティブ拡大の大勝負　バフェット氏　利益に自信 - FujiSankei... →
Mar 15th
UWSpace: Pencil Light Transport →
Mar 14th
CiteULike: Single-Dimension Software Pipelining... →
Mar 10th
“Optimizations in a traditional compiler are applied sequentially, with each...”
– Equality Saturation: A New Approach to Optimization | Lambda the Ultimate
Mar 4th
“Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping”
– CCCP: Publications
Mar 4th
Ctadel: A Generator of Efficient Code for... →
Mar 4th
Automatic SIMD vectorization of chains of... →
Mar 4th
February 2009
8 posts
“The Lambda Tamer project tackles the issues surrounding computer formalization...”
– Lambda Tamer
Feb 21st
PHOAS - Parametric Higher Order Abstract Syntax -... →
Feb 21st
“Gitit is a wiki program. Pages and uploaded files are stored in a git or darcs...”
– HackageDB: gitit-0.5.3
Feb 20th
3D Surface Subdivision Methods →
Feb 10th
Caltech Multi-Res Modeling Group - Fast... →
Feb 10th
On-Line Geometric Modeling Notes →
Feb 7th
implementing type inference - Stack Overflow →
Feb 7th
“Webby is a fantastic little website management system. It would be called a...”
– Webby :: Webby gem install RedCloth もしておくとよい(Textile processing 用)
Feb 6th
January 2009
24 posts
Rendering Cubic Bezier Patches →
Jan 28th
“The Recursion Library for Haskell provides a rich set of generic traversal...”
– A Recursion and Traversal Library for Haskell
Jan 24th
Sparse - a Semantic Parser for C →
Jan 24th
“Combining testing and proving”
– http://www.cs.chalmers.se/~peterd/papers/testingproving.html
Jan 20th
Self-Adjusting Computation →
Jan 16th
“A. Al Zain, P. Trinder, M. Aswad, G. Michaelson, K. Hammond and J. Berthold,...”
– Publications
Jan 16th
DAMP 2009: Workshop on Declarative Aspects of... →
Jan 15th
Bridging the gulf: A common intermediate language... →
Jan 15th
Scrap your boilerplate ... in Haskell →
Jan 15th
“Stratego/XT is a language and toolset for program transformation. The Stratego...”
– Stratego Program Transformation Language
Jan 14th
Jan 14th
CiteULike: An investigation of Jones optimality... →
Jan 9th
“We present a novel high-level parallel programming model aimed at graphics...”
– Research Papers of Manuel Chakravarty
Jan 8th
CiteULike: Optimising Embedded DSLs using Template... →
Jan 8th
Jan 8th
11 notes
why's potion at master — GitHub →
Jan 8th
“30分プログラム、その406。Data.Graph.Inductive.Graphvizというおもしろそうなライブラリを見つけたので使ってみる。”
– Haskellでグラフ描画 - みずぴー日記
Jan 7th
Turning dynamic typing into static typing by... →
Jan 7th
“これを受けて、同社の株価は一時８０％以上急落。インドでは過去最大級の企業不祥事となり、海外からの投資に悪影響が及ぶのではないかとの懸念が浮上している。　”
– インドのサティヤムが利益水増し、インド株急落 | ビジネスニュース | Reuters
Jan 7th
Partial evaluation of computation process - an... →
Jan 7th
“Conclusions for floating point loop invariants * With the -O3 flag for...”
– Performance/Analysis/Example2 - Adobe Open Source Wiki
Jan 4th