Minjie Zha

November 19, 2013 Full-text search engine for Pocket
July 29, 2013 感怀
July 19, 2013 关闭Linktuned
July 04, 2013 完成Jekyll迁移
May 18, 2012 创建了Linktuned
July 28, 2011 Lazy CEK Machine
July 23, 2011 CEK Machine
June 11, 2011 CK Machine
May 28, 2011 CC and SCC Machine
May 22, 2011 Textual Machine
May 16, 2011 Recursion and Y Combinator
May 14, 2011 Eager and Lazy Evaluation
April 16, 2011 Solving Partially Reduced Problem
April 06, 2011 Constants and Builtin Functions
February 17, 2011 A Simple Lambda Calculus Evaluator - Extended
January 19, 2011 A Simple Lambda Calculus Evaluator - III
January 18, 2011 A Simple Lambda Calculus Evaluator - II
January 17, 2011 A Simple Lambda Calculus Evaluator - I
July 29, 2010 北京城惜别故友杭州市初遇新知
April 23, 2010 实习结束