Showing
1 - 8
results of
8
for search '
Wu, Hanwen
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Wu, Hanwen
Search Results
Showing
1 - 8
results of
8
for search '
Wu, Hanwen
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Dependent Session Types
by
Wu
,
Hanwen
,
Xi, Hongwei
Published 2017
Get access
Text
Select result number 2
2
Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions
by
Xi, Hongwei
,
Wu
,
Hanwen
Published 2016
Get access
Text
Select result number 3
3
Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions
by
Xi, Hongwei
,
Wu
,
Hanwen
Published 2016
Get access
Get access
Report
Select result number 4
4
Linearly typed dyadic group sessions for building multiparty sessions
by
Xi, Hongwei
,
Wu
,
Hanwen
Published 2016
Get access
Get access
Article in Journal/Newspaper
Select result number 5
5
Dependent Session Types
by
Wu
,
Hanwen
,
Xi, Hongwei
Published 2017
Get access
Get access
Report
Select result number 6
6
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
by
Xi, Hongwei
,
Ren, Zhiqiang
,
Wu
,
Hanwen
,
Blair, William
Published 2016
Get access
Text
Select result number 7
7
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
by
Xi, Hongwei
,
Ren, Zhiqiang
,
Wu
,
Hanwen
,
Blair, William
Published 2016
Get access
Get access
Report
Select result number 8
8
Session types in a linearly typed multi-threaded lambda-calculus
by
Xi, Hongwei
,
Ren, Zhiqiang
,
Wu
,
Hanwen
,
Blair, William
Published 2016
Get access
Get access
Article in Journal/Newspaper
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Computer Science - Programming Languages
FOS Computer and information sciences
Programming Languages cs.PL
Computer Science - Distributed
Computer Science - Logic in Computer Science
Distributed, Parallel, and Cluster Computing cs.DC
F.1.2
F.1.2; F.4.1
F.4.1
Logic in Computer Science cs.LO
Parallel
and Cluster Computing
Loading...