84 search results - page 10 / 17 » Adventures in Bidirectional Programming |
ICFP
2000
ACM
13 years 12 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper, we propose multiuser multiple-input multiple-ouput (MIMO) one- and two-way relaying protocols. Several wireless MIMO node pairs are establishing either unidirect...
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Two-way relaying, which enables bidirectional simultaneous data transmission between two nodes, is an efficient means to reduce the spectral efficiency loss observed ...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...