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 DateViews
 
A dependently typed calculus with polymorphic subtyping
Journal:Science of Computer Programming
2021
 
2017
106
 
2022
7
 
2017
74
 
Oxidative stress-mediated reperfusion injury: mechanism and therapies
Journal:Oxidative Medicine and Cellular Longevity
2014
52
 
2019
 
1998
143
 
2015
51