Proper Treatment 正當作法

Chung-chieh Shan's blog 單中杰的部落格

conway.rutgers.edu ↗RSS feed ↗20 posts

Latest posts

Babel-17

Jan 1, 2026

Very far away from anywhere else

Nov 10, 2016

Double blind

Apr 20, 2015

Derailing

Sep 18, 2014

A challenge for a better community

Sep 16, 2014

Haskell Symposium program chair report

Sep 26, 2013

Borderline, just semantics

Nov 29, 2012

Why not covariant generics?

Oct 11, 2011

Goodbye Rutgers

Sep 1, 2011

TPDC 2011

Jun 5, 2011

Train go sorry

May 25, 2011

Art meets science

Feb 2, 2011

The extensible visitor pattern in tagless final style

Jan 15, 2011

Pollution and taboo are a cultural discipline for enforcing realms of abstraction

Dec 30, 2010

Actual New York City traffic rules

Dec 30, 2010

OCaml types

Dec 19, 2010

Really understanding effects

Dec 19, 2010

指數成長歌 The descriptive complexity of songs

Dec 19, 2010

Dependent equality

Sep 19, 2010

Grub default

Jun 21, 2010