<script type="text/javascript"> //<![CDATA[ ord = window.ord || Math.floor(Math.random()*1E16); document.write('<script type="text/javascript" src="http://ad1.netshelter.net/adj/ns.osdir/homepage;kw=;tile=1;dcopt=ist;sz=728x90;ord=' + ord + '?"><\/script>'); //]]> </script> <noscript><a href="http://ad1.netshelter.net/jump/ns.osdir/homepage;kw=;tile=1;sz=728x90;ord=123456789?" target="_blank" ><img src="http://ad1.netshelter.net/ad/ns.osdir/homepage;kw=;tile=1;sz=728x90;ord=123456789?" border="0" alt="" /></a></noscript>
science.types (thread)
<
Prev Period
]
[
Next Period
>
[wand-DMTVktDHDm5ObnrBt4yx7uYMHaKe9WOTpQNEQKNNdayskDOk/GSq1Q@xxxxxxxxxxxxxxxx]
,
meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
lazy lambda calculus references
,
meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
Completeness Theorem for Typed Lambda-Omega Calculus
,
meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
Third Logical Biennial Conference, Bulgaria, June '90
,
meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
LICS '90: Call for Papers
,
LICS-wbhMBGv93tB2YObp1giSdQ
Conservative extension by surjective pairing
,
meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
call-by-value semantics, etc. (248 lines)
,
Carl Gunter
Sieber's Full-Abstraction for call-by-value (241 lines)
,
Matthias Felleisen
<
Prev Period
]
[
Next Period
>
</td> <td valign="top"> <iframe src="http://osdir.com/ml/foot09-bigblock.html" frameborder="0" scrolling="no" width="338px" height="283px">
News
|
FAQ
|
advertise
