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 10 of 10
TitleAuthor(s)Issue Date
 
A dependently typed calculus with polymorphic subtyping
Journal:Science of Computer Programming
2021
 
2017
 
2022
 
1-Mar-2014
 
2017
 
Oxidative stress-mediated reperfusion injury: mechanism and therapies
Journal:Oxidative Medicine and Cellular Longevity
2014
 
2019
 
1998
 
1-Jun-2015
 
2015