Luke Ong
Luke Ong
Professor of Computer Science, University of Oxford
Dirección de correo verificada de cs.ox.ac.uk - Página principal
Título
Citado por
Citado por
Año
On full abstraction for PCF: I, II, and III
JME Hyland, CHL Ong
Information and computation 163 (2), 285-408, 2000
8092000
Full abstraction in the lazy lambda calculus
S Abramsky, CHL Ong
Inf. Comput. 105 (2), 159-267, 1993
3191993
On model-checking trees generated by higher-order recursion schemes
CHL Ong
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 81-90, 2006
2652006
A Curry-Howard foundation for functional computation with control
CHL Ong, CA Stewart
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
1851997
Route oscillations in I-BGP with route reflection
A Basu, CHL Ong, A Rasala, FB Shepherd, G Wilfong
ACM SIGCOMM Computer Communication Review 32 (4), 235-247, 2002
1612002
A type system equivalent to the modal mu-calculus model checking of higher-order recursion schemes
N Kobayashi, CHL Ong
2009 24th Annual IEEE Symposium on Logic In Computer Science, 179-188, 2009
1462009
Collapsible pushdown automata and recursion schemes
M Hague, AS Murawski, CHL Ong, O Serre
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 452-461, 2008
1412008
Verifying higher-order functional programs with pattern-matching algebraic data types
CHL Ong, SJ Ramsay
Proceedings ACM POPL SIGPLAN Notices 46 (1), 587-598, 2011
1152011
Verifying Higher-Order Functional Programs with Pattern Matching Algebraic Data Types
CHL Ong, S Ramsay
1152011
The lazy lambda calculus: an investigation into the foundations of functional programming
CHL Ong
Imperial College London, 1992
1031992
A semantic view of classical proofs: Type-theoretic, categorical, and denotational characterizations
CHL Ong
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 230-241, 1996
921996
Applying game semantics to compositional software modeling and verification
S Abramsky, DR Ghica, AS Murawski, CHL Ong
International Conference on Tools and Algorithms for the Construction and …, 2004
902004
Non-determinism in a functional setting
CHL Ong
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993
871993
Nominal games and full abstraction for the nu-calculus
S Abramsky, DR Ghica, AS Murawski, CHL Ong, IDB Stark
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
842004
Pi-calculus, dialogue games and full abstraction PCF
JME Hyland, CHL Ong
Proceedings of the seventh international conference on Functional …, 1995
761995
Fair games and full completeness for multiplicative linear logic without the mix-rule
JME Hyland, CHL Ong
preprint 190, 1993
751993
Correspondence between operational and denotational semantics: the full abstraction problem for PCF
CHL Ong
Handbook of logic in computer science 4, 269-356, 1995
691995
Method and apparatus for exchanging routing information within an autonomous system in a packet-based data network
A Basu, CHL Ong, AP Rasala, FB Sheperd, GT Wilfong
US Patent 7,180,864, 2007
672007
Recursion schemes and logical reflection
CH Broadbent, A Carayol, CHL Ong, O Serre
2010 25th Annual IEEE Symposium on Logic in Computer Science, 120-129, 2010
592010
Automatic verification of Erlang-style concurrency
E D’Osualdo, J Kochems, CHL Ong
International Static Analysis Symposium, 454-476, 2013
572013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20