Showing 1 - 4 results of 4 for search 'Ong, C.-H. Luke', query time: 0.07s Refine Results
  1. 1
    The Lazy Lambda Calculus : an investigation into the foundations of functional programming
    by Ong, C.-H. Luke
    Published 1988
    Get full text
  2. 2
    A semantics for aspects by compositional translation
    by Sanjabi, Sam Bakhtiar
    Published 2008
    Other Authors: “...Ong, C.- H. Luke...”
    Get full text
  3. 3
    The safe lambda calculus
    by Blum, William
    Published 2009
    Other Authors: “...Ong, C.-H. Luke...”
    Get full text
  4. 4
    Saturation methods for global model-checking pushdown systems
    by Hague, Matthew
    Published 2009
    Other Authors: “...Ong, C.-H. Luke...”
    Get full text
Search Tools: Get RSS Feed — Email this Search