Type-safe higher-order channels in ML-like languages (2007)

by Sungwoo Park
Venue:PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, ACM
Citations:4 - 1 self

Active Bibliography

Type-safe higher-order channels with channel locality – Sungwoo Park, Hyeonseung Im - 2008
Languages – Matthew Fluet, Nic Ford, Mike Rainey, Adam Shaw, Yingqi Xiao
18 Implicitly-threaded parallelism in Manticore – Matthew Fluet, Mike Rainey, John Reppy, Adam Shaw - 2008
Scheme with Futures: . . . – James Swaine - 2009
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe╠Ěl T. Wojciechowski, Asis Unyapoth
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
8 Reasoning About Code Mobility with Mobile UNITY – Gian Pietro Picco, Politecnico Di Milano, Gruia-catalin Roman, Peter J. Mccann - 1999
56 Software Engineering for Mobility: A Roadmap – Gruia-catalin Roman, Gian Pietro Picco, Amy L. Murphy - 2000
9 A Software Engineering Perspective on Mobility – Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco - 1999
72 Trust and Partial Typing in Open Systems of Mobile Agents – James Riely, James Riely, Matthew Hennessy, Matthew Hennessy - 1998
Languages, Performance – Simon Marlow, Ryan Newton, Simon Peyton Jones
15 Seq no more: Better Strategies for Parallel Haskell – Simon Marlow, Mustafa K Aswad, Patrick Maier, Phil Trinder, Hans-wolfgang Loidl
9 Typing Confluence – Uwe Nestmann , Martin Steffen - 1997
155 Types for mobile ambients – Luca Cardelli, Andrew D. Gordon - 1999
Proc. POPL 99 Types for Mobile Ambients – Luca Cardelli, Andrew D. Gordon
10 A modal language for the safety of mobile values – Sungwoo Park - 2006
3 Assigning Types to Processes (Extended Abstract) – Nobuko Yoshida, Matthew Hennessy - 2000
38 Assigning Types to Processes – Nobuko Yoshida, Matthew Hennessy - 2000
Effective Scheduling Techniques for . . . – Michael Alan Rainey - 2010