liboleg-2010.1.10.0: An evolving collection of Oleg Kiselyov's Haskell modules
Lambda.CFG1Sem
Description
http://okmij.org/ftp/gengo/NASSLLI10/
Synopsis
data Entity Source
Semantic interpretation of a CFG derivation
In conventional notation:
D_e = {John, Mary}
Constructors
Instances