Siau-Cheng Khoo

Available identifiers

Publication	Date of Publication	Type
Automated mutual explicit induction proof in separation logic	2020-01-03	Paper
Automated mutual induction proof in separation logic	2019-05-10	Paper
Charting patterns on price history	2015-03-09	Paper
Side-effect localization for lazy, purely functional languages via aspects	2013-01-08	Paper
Type-directed weaving of aspects for polymorphically typed functional languages	2010-08-26	Paper
Affine-based size-change termination.	2010-01-05	Paper
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages	2009-03-03	Paper
Programming Languages and Systems	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5472907	2006-06-19	Paper
Programming Languages and Systems	2005-08-17	Paper
Program adaptation via output-constraint specialization	2005-03-15	Paper
Calculating sized types	2002-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4529770	2002-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q2722049	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4259949	1999-09-08	Paper
On-line and off-line partial evaluation: semantic specifications and correctness proofs	1996-09-12	Paper
Semantics-directed generation of a Prolog compiler	1994-02-17	Paper

This page was built for person: Siau-Cheng Khoo