4 ms·
There is a mathematical description of programming compilers I read once (think it was a survey paper) that I found very clear but I've never been able to find
by sjkoelle 3y ago
There is a mathematical description of programming compilers I read once (think it was a survey paper) that I found very clear but I've never been able to find since. Basically defined a compiler as a type of function. Any good suggestions?
- noblethrasher 3y agoPerhaps this one from Graham Hutton? “A parser for things Is a function from strings To lists of pairs Of things and strings”
- sjkoelle 3y agohmmmm maybe something like page 184 here https://apps.dtic.mil/sti/pdfs/ADA327435.pdf https://apps.dtic.mil/sti/pdfs/ADA327435.pdf
- AugustoCAS 3y agoThanks for sharing this. I became a bit of a fan of Dr Hutton after I followed his Functional Programming in Haskell classes on Youtube.