German Vidal

gvidal,German Vidal homepage, Germán Vidal homepage, G Vidal homepage, Vidal homepage

关键词：programming languages, multi-paradigm languages, declarative programming, integration of functional and logic programming, operational semantics, narrowing, laziness, compositionality, Curry, Haskell…