Skip to content

Linguistics and Compilers by Ken Miller

Photo of Heow Goodman
Hosted By
Heow G.
Linguistics and Compilers by Ken Miller

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.

Photo of Functional SC: Programming in the Silicon Harbor group
Functional SC: Programming in the Silicon Harbor
See more events