Linguistics and Compilers by Ken Miller

Hosted By
Heow G.

Details
Compilers are tools typically used to create binary we call software. Kenneth Miller has some interesting thoughts on extending the metaphor (and tools) to both human and programming languages.
After a brief introduction of existing compiler technology, Kenneth discusses his ideas that include:
• type checking natural languages
• probabilistic type inference
• linguistic analysis algebra
Leading to some interesting tools and conclusions.

Functional SC: Programming in the Silicon Harbor
See more events
Linguistics and Compilers by Ken Miller