recent posts

typetitleauthorlast post sort icon
Forum topicWho owns your research? Results of SIGPLAN Open Access survey gasche2015-06-25 06:55
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicBi-simulation in security auditing Hewitt2015-06-24 21:29
Forum topicThe Page-Fault Weird Machine: Lessons in Instruction-less Computation marco2015-06-24 18:46
StoryBER MetaOCaml -- an OCaml dialect for multi-stage programming gasche2015-06-24 08:53
Forum topicDedekind, Cantor, Conway, & Hewitt (w/ some Chomsky) Thomas Lord2015-06-23 16:20
Forum topicSPLASH 2015 - 2nd Combined Call for Contributions craiganslow2015-06-21 16:20
Forum topicThe single instruction compiler marco2015-06-21 12:16
StorySelf-Representation in Girard’s System U naasking2015-06-18 22:53
Forum topicGood syntax for single argument methods? Sean McDirmid2015-06-17 21:36