Flow-Directed Closure Conversion for Typed Languages.

Henry Cejtin Suresh Jagannathan Stephen Weeks

Published in: ESOP (2000)

Keyphrases

higher order
expressive power
flow field
cross lingual
language independent
lambda calculus
databases
closure properties
flow patterns
grammatical inference
query translation
multi lingual
blood flow
description languages
database query languages
arabic language
target language