On The Type Structure of Standard ML

On The Type Structure of Standard ML (1993)

by Robert Harper , John C. Mitchell

Citations:

@MISC{Harper93onthe,
    author = {Robert Harper and John C. Mitchell},
    title = {On The Type Structure of Standard ML},
    year = {1993}
}