Chih-Hao Luke Ong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The difference -calculus: a language for difference categories	2026-02-24	Paper
HoCHC: a refutationally complete and semantically invariant system of higher-order logic modulo theories	2024-12-19	Paper
Fast and correct gradient-based optimisation for probabilistic programming via smoothing	2023-11-24	Paper
Weak and nested class memory automata Language and Automata Theory and Applications	2016-04-08	Paper
A traversal-based algorithm for higher-order model checking Proceedings of the 17th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Verifying higher-order functional programs with pattern-matching algebraic data types Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
A type-directed abstraction refinement approach to higher-order model checking Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
scientific article; zbMATH DE number 1670494 (Why is no real title available?)	2001-12-03	Paper

Research outcomes over time

This page was built for person: Chih-Hao Luke Ong