Hongwei Xi

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Multirole Logic (Extended Abstract)	2017-03-19	Paper
Guarded recursive datatype constructors	2015-09-11	Paper
Meta-programming through typeful code representation	2015-07-02	Paper
A dependently typed assembly language	2015-03-09	Paper
Combining programming with theorem proving	2015-01-06	Paper
A formalization of strong normalization for simply-typed lambda-calculus and System F	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3086786	2011-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3086789	2011-03-30	Paper
A Modality for Safe Resource Sharing and Code Reentrancy	2010-08-31	Paper
A simple and general theoretical account for abstract types	2009-12-09	Paper
Attributive Types for Proof Erasure	2008-06-03	Paper
Dependent ML An approach to practical programming with dependent types	2007-09-26	Paper
Frontiers of Combining Systems	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5472910	2006-06-19	Paper
Types for Proofs and Programs	2005-12-23	Paper
Meta-programming through typeful code representation	2005-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q3024920	2005-07-04	Paper
Dependent types for program termination verification	2002-12-15	Paper
Upper bounds for standardizations and an application	2000-06-22	Paper
Perpetual reductions in \(\lambda\)-calculus	1999-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4376079	1998-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4364525	1997-11-17	Paper
TPS: A theorem-proving system for classical type theory	1996-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4205432	1988-01-01	Paper

Research outcomes over time

This page was built for person: Hongwei Xi