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

Documents Related by Co-Citation

162 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
666 BDI Agents: From Theory to Practice – Anand S. Rao, Michael P. Georgeff - 1995
1119 Temporal and modal logic – E. Allen Emerson - 1995
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
3242 Communication and Concurrency – R Milner - 1989
625 Compiling with Continuations – A Appel - 1992
577 Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies", RFC – N Freed, N Borenstein
944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990