作　　者：Simon Fowler ;Sam Lindley ;Philip Wadler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:11:1-11:28.doi:10.4230/LIPIcs.ECOOP.2017.11

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：197690099

作　　者：Jack Williams ;J. Garrett Morris ;Philip Wadler 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:28:1-28:29.doi:10.4230/LIPIcs.ECOOP.2017.28

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：197690116

作　　者：Philip Wadler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:309-320.doi:10.4230/LIPIcs.SNAPL.2015.309

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846752

作　　者：Philip Wadler

出　　处：Journal of Universal Computer Science. 2017 ;23(1):5-20.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：192806584

作　　者：Philip Wadler

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;43:2-2.doi:10.4230/OASIcs.ICCSW.2014.2

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848818

作　　者：Marco Carbone ;Sam Lindley ;Fabrizio Montesi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:33:1-33:15.doi:10.4230/LIPIcs.CONCUR.2016.33

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847591