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
25
 
2022
 
2017
59
 
Oxidative stress-mediated reperfusion injury: mechanism and therapies
Journal:Oxidative Medicine and Cellular Longevity
2014
35
 
2019
31
 
1998
82
 
2015
22