Collaborated with:
∅
Talks about:
program (1) languag (1) ergonom (1) specul (1) howard (1) found (1) curri (1) about (1)
Person: Johannes Emerich
DBLP: Emerich:Johannes
Contributed to:
Wrote 1 papers:
- Onward-2016-Emerich #how #source code
- How are programs found? speculating about language ergonomics with Curry-Howard (JE), pp. 212–223.