Browsing by Author Xue, M

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 8 of 8
TitleAuthor(s)Issue Date
 
A dependently typed calculus with polymorphic subtyping
Journal:Science of Computer Programming
2021
 
2017
 
2022
 
2017
 
Oxidative stress-mediated reperfusion injury: mechanism and therapies
Journal:Oxidative Medicine and Cellular Longevity
2014
 
2019
 
1998
 
2015