recent posts

typetitleauthorlast post sort icon
Forum topichow many lines of code can civilization support? Thomas Lord2015-03-30 15:43
Forum topicWho owns your research? Results of SIGPLAN Open Access survey gasche2015-03-30 12:48
StoryThe Next Stage of Staging naasking2015-03-29 13:34
Forum topicGoing Against the Flow for Type-less Programming (take 3!) Sean McDirmid2015-03-29 02:09
Forum topicMoonshots Sean McDirmid2015-03-27 20:43
Forum topic1ML — Core and modules united Tom Primožič2015-03-26 02:07
StoryA theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation gasche2015-03-17 16:46
Forum topiccicada-nymph -- a forth-like language for to teach xieyuheng2015-03-14 09:13
StoryCombining lazy and eager evaluation of terms Ehud Lamm2015-03-14 06:12
Forum topicConstraint typing, subtyping, and separate compilation Sean McDirmid2015-03-12 22:35