提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/popl/MeyerMMS87AU-Meyer，Albert R。非盟——约翰·米切尔（John C.Mitchell）。AU-莫吉，尤金尼奥澳大利亚统计局，Richard多态Lambda微积分中的TI-空类型。BT-第十四届ACM编程语言原理年度研讨会会议记录，德国慕尼黑，1987年1月21日至23日SP-253型EP-262PY-1987年//DO-10.1145/41625.41648UR-（欧元）https://doi.org/10.1145/41625.41648急诊室-