Manticore: a heterogeneous parallel language.

Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Browse the full POPL paper archive.