Lambda.CFG2EN

http://okmij.org/ftp/gengo/NASSLLI10

Documentation

mary :: String

Type annotations

john :: String

like :: String

r2 :: String -> String -> String

r1 :: String -> String -> String

sentence :: String

bad_sentence :: String

Unfortunately, the following sentence is, too, accepted by the type checker.

We shall later see how to build terms that correspond to all and only valid derivations. Invalid derivations will become ill-typed.