Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Xu, Dana N. - INRIA Paris-Rocquencourt
Static Contract Checking for Haskell University of Cambridge
Compiling Real Time Functional Reactive Programming Dana N. Xu and Siau-Cheng Khoo
Modular Inference for Array Checks Optimization Dana N. Xu, Corneliu Popeea, SiauCheng Khoo, and WeiNgan Chin
ARITY ANALYSIS (Working Notes Only, Not Ready for Publication Yet)
The Art of Interpretation for DomainSpecific Embedded Languages
A TYPE-BASED APPROACH TO PARALLELIZATION
Dynamic Contract Checking for OCaml A Tutorial
Deriving Pre-conditions for Array Bound Check Elimination
A Practical and Precise Inference and Specializer for Array Bound Checks Elimination
PType System: A Featherweight Parallelizability Detector
Probabilistic Contracts for Component-based Dana N. Xu, Gregor Gossler, and Alain Girault
Static Contract Checking for Haskell University of Cambridge
ARITY ANALYSIS (Working Notes Only, Not Ready for Publication Yet)
Static Contract Checking for Haskell University of Cambridge
The Art of Interpretation for Domain-Specific Embedded Languages
Static Contract Checking for Haskell University of Cambridge
Hybrid Contract Checking na.xu@inria.fr
Hybrid Contract Checking via Symbolic Simplification na.xu@inria.fr
