minjiezha.com

Minjie Zha

November 19, 2013. Full-text search engine for Pocket. July 29, 2013. July 19, 2013. July 04, 2013. May 18, 2012. July 28, 2011. July 23, 2011. June 11, 2011. May 28, 2011. CC and SCC Machine. May 22, 2011. 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. January 18, 2011. January 17, 2011.

http://www.minjiezha.com/

OVERVIEW OF minjiezha.com

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR MINJIEZHA.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

December

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Saturday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.7 out of 5 with 9 reviews

5 star

4

4 star

2

3 star

1

2 star

0

1 star

2

Hey there! Start your review of minjiezha.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.2 seconds

FAVICON PREVIEW

16x16
32x32
64x64
128x128

CONTACTS AT MINJIEZHA.COM

Minjie Zha

Hangzh●●●●●●ejiang

Han●●●hou , Zhejiang, 310000

China

8618●●●●6814

di●●●●●●@gmail.com

View this contact

Minjie Zha

Hangzh●●●●●●ejiang

Han●●●hou , Zhejiang, 310000

China

8618●●●●6814

di●●●●●●@gmail.com

View this contact

Minjie Zha

Hangzh●●●●●●ejiang

Han●●●hou , Zhejiang, 310000

China

8618●●●●6814

di●●●●●●@gmail.com

View this contact

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED: 2011 December 13
UPDATED: 2013 December 14
EXPIRATION: EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

DOMAIN AGE

12

YEARS
4

MONTHS
20

DAYS

NAME SERVERS

1: ns73.domaincontrol.com
2: ns74.domaincontrol.com

REGISTRAR

GODADDY.COM, LLC

WHOIS : whois.godaddy.com

REFERRED : http://registrar.godaddy.com

CONTENT

PAGES IN
THIS WEBSITE

20

SSL

EXTERNAL LINKS

0

SITE IP

151.101.41.147

LOAD TIME

0.234 sec

SCORE

6.2

PAGE TITLE

Minjie Zha | minjiezha.com Reviews

<META> DESCRIPTION

November 19, 2013. Full-text search engine for Pocket. July 29, 2013. July 19, 2013. July 04, 2013. May 18, 2012. July 28, 2011. July 23, 2011. June 11, 2011. May 28, 2011. CC and SCC Machine. May 22, 2011. 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. January 18, 2011. January 17, 2011.

<META> KEYWORDS

1 minjie zha

2 life

3 tech

4 projects

5 关闭linktuned

6 完成jekyll迁移

7 创建了linktuned

8 lazy cek machine

9 cek machine

10 ck machine

CONTENT

Page content here

KEYWORDS ON PAGE

minjie zha,life,tech,projects,关闭linktuned,完成jekyll迁移,创建了linktuned,lazy cek machine,cek machine,ck machine,textual machine,北京城惜别故友杭州市初遇新知,实习结束,i'm on github

SERVER

GitHub.com

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

Minjie Zha | minjiezha.com Reviews

https://minjiezha.com

November 19, 2013. Full-text search engine for Pocket. July 29, 2013. July 19, 2013. July 04, 2013. May 18, 2012. July 28, 2011. July 23, 2011. June 11, 2011. May 28, 2011. CC and SCC Machine. May 22, 2011. 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. January 18, 2011. January 17, 2011.

INTERNAL PAGES

minjiezha.com

1

A Simple Lambda Calculus Evaluator - Extended

http://www.minjiezha.com/tech/2011/02/17/A-Simple-Lambda-Calculus-Evaluator-Extended.html

A Simple Lambda Calculus Evaluator - Extended. February 17, 2011. In the last three posts. I implemented a very simple lambda calculus evaluator. However, it still has some syntax restrictions. In this post, I am going to show you how to extend the syntax to get rid of the restrictions. The following two restrictions will be removed:. Add syntax support for parentheses around expressions, so natural numbers and fixed points can be represented. That’s all we need to do. Now, let’s try some expressions:.

2

Textual Machine

http://www.minjiezha.com/tech/2011/05/22/Textual-Machine.html

May 22, 2011. For a complex expression, such as a recursive function using Y, we may go through dozens of reduction steps until getting to the final result. Currently, our evaluator only gives the final result. However, these intermediate steps are really useful for analysis and troubleshooting sometimes. Just like the manual reductions we did in last post. Lambda x x x) 1. As an example, after a beta-reduction, the original tree is deleted with a new tree returned as the result, so the global variable b...

3

Tech - Minjie Zha

http://www.minjiezha.com/categories/life

November 19, 2013. Full-text search engine for Pocket. July 29, 2013. July 04, 2013. July 29, 2010. April 23, 2010. January 23, 2010. January 04, 2010. December 21, 2009. December 14, 2009. December 12, 2009. December 02, 2009. September 16, 2009. September 05, 2009. June 27, 2009. May 07, 2009. April 01, 2009. March 29, 2009. March 13, 2009. March 08, 2009. February 17, 2009. January 05, 2009. November 12, 2008. November 01, 2008. October 31, 2008. October 11, 2008. October 03, 2008. September 13, 2008.

4

CEK Machine

http://www.minjiezha.com/tech/2011/07/23/CEK-Machine.html

July 23, 2011. In the textual machines I mentioned in previous. Posts, when reducing an application, without exception, everyone requires the substitution of an argument in place of all the occurences of an identifier in the abstraction body. The machine traverses the expression tree during substitution, and if the result is not a value, it needs to re-traverse it again to evaluate it. Take. Lambda x x x) 1. As an example,. Is traversed to replace. After that, we get result. To evaluate it, the expression.

5

A Simple Lambda Calculus Evaluator - III

http://www.minjiezha.com/tech/2011/01/19/A-Simple-Lambda-Calculus-Evaluator-III.html

A Simple Lambda Calculus Evaluator - III. January 19, 2011. For the evaluation algorithm, we have a syntax tree as the input, and as a result we are also going to output a syntax tree which is evaluated from the original one. From the analysis above, we can work out a recursive algorithm which does a deep-first traversal on the syntax tree and evaluates the syntax tree in a bottom-up manner. Here is the psuedocode:. We learned that the beta-reduction can be simple defined in terms of substitution, so aga...

UPGRADE TO PREMIUM TO VIEW 15 MORE

TOTAL PAGES IN THIS WEBSITE

20

SOCIAL ENGAGEMENT

minjiezha

OTHER SITES

minjiesun.wordpress.com

Minjie Sun | Minjie Sun WordPress.com site

Minjie Sun WordPress.com site. About me & Resume. What I’m reading. Twitter and Blog Reflection Paper. August 16, 2013. Bye my summer two classes. August 16, 2013. So study hard during weekend, and play hard in the two weeks vacation. August 15, 2013. In my opinion, there are two reasons deriving us to specify the audience:. 2 Speaking to specific audience can clearly show writers’ purpose, what message he/she try to show to audience and what the writer want audience to do. August 15, 2013. I will ask my...

minjietong.com

敏捷通

minjieusebio.blogspot.com

Minji Notes...

Sabtu, 20 Oktober 2012. KALI INI, gue berbicara tentang kesalahan fashion style. Yang ada di Surabaya, tempat gue tinggal selama ini . well,. Jujur ya. gue sering resah sama yang naanya fashion style. Orang surabaya tau gak. kesalahan total! Coba ya, lu pada ke mall-mall. Di Surabaya yang ada lu isinya pengen muntah! Yang cewek-cewek kalo lagi jalan ama cowoknya, yang cewek pake h igh heels. 20 centi pake dress. Mini selutut pake tas dompet dan. Gue pikir lu mau kekondangan apa mau belanja? Atau gak pake...

minjiewu.wordpress.com

Protected Blog › Log in

This site is marked private by its owner. If you would like to view it, you’ll need two things:. A WordPress.com account. Don’t have an account? All you need is an email address and password register here! Permission from the site owner. Once you've created an account, log in and revisit this screen to request an invite. If you already have both of these, great! Larr; Back to WordPress.com.

minjiexolove04.wordpress.com

Fire and Light | Có những người, chỉ cần bạn đứng tại chỗ đợi một chút, người đó nhất định sẽ đến.

Có những người, chỉ cần bạn đứng tại chỗ đợi một chút, người đó nhất định sẽ đến. Nhập gia tuỳ tục. One shot T] Tìm lại nắng ấm minji exolove Chanbaek. One shot T] Forever love minji exolove Kaihan. Đoản] Mưa mùa hạ (Chanbaek). Fanfic] Tiểu thụ của Xán Liệt ( Chanbaek NC 17 Ngắn ) (Hoàn). Fanfic] Chúng ta – Mục lục ( Chanbaek Ngược Ngắn ) ( Hoa n ). Fanfic] Để anh rời xa Mục lục ( Chanbaek Ngắn ) ( Hoa n ). Fan fic Chanbaek] Hãy nắm tay em Mục lục. Fanfic Chanbaek] Ác quỷ Mục lục. Nhập gia tuỳ tục. 25 th...

minjiezha.com

Minjie Zha

November 19, 2013. Full-text search engine for Pocket. July 29, 2013. July 19, 2013. July 04, 2013. May 18, 2012. July 28, 2011. July 23, 2011. June 11, 2011. May 28, 2011. CC and SCC Machine. May 22, 2011. 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. January 18, 2011. January 17, 2011.

minjifish.com

:: 30년 저통 민지송어장에 오신것을 환영합니다 ::

minjigim.com

www.minjigim.com

This Web page parked FREE courtesy of Domains Priced Right. Search for domains similar to. Is this your domain? Let's turn it into a website! Would you like to buy this. Find Your Own Domain Name. See our full line of products. Easily Build Your Professional Website. As low as $4.99/mo. Call us any time day or night (480) 624-2500.

minjih.com

首頁 | 名記食品企業有限公司

名記總廠金門縣金寧鄉伯玉路一段228號電話 082-322928 傳真 082-322925. 光前門市金門縣金城鎮光前路84-1號電話 082-322930. Design by WebTech 網頁設計.

minjihaned480.blogspot.com

Minji Han

Sunday, 2 November 2014. A summary of what a PLN and PLE are:. A metaphor to explain a PLN and PLE. PLN and PLE is like a group of Family. We are not blood-related but we do share some common ideas, passions, and goals. We give advice to each other and sometimes rely on each other too. We learn from each other and reach out for help if we need some suggestions. Examples of content in a PLN and PLE (try to name digital and. PLN-Twitter, Skype, Nings, Facebook, Linkedln, Webinars, Weebly, Blogger, etc.

minjiharu.deviantart.com

minjiharu (Miharu Renne) - DeviantArt

Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')" class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')". Join DeviantArt for FREE. Forgot Password or Username? Digital Art / Hobbyist. Deviant for 1 Year. This deviant's full pageview. October 28, 1995. Last Visit: 2 weeks ago. Why," you ask? 0 / 1,000.