How are programs found? speculating about language ergonomics with Curry-Howard.

Johannes Emerich

Browse the full OOPSLA paper archive.