发明授权
- 专利标题： Dynamic lazy type system
- 专利标题（中）： 动态懒型系统
-
申请号： US13163261申请日： 2011-06-17
-
公开(公告)号： US09081893B2公开(公告)日： 2015-07-14
- 发明人: Erik Christensen , Michael Coulson , Clemens Szyperski , Gregory Hughes
- 申请人： Erik Christensen , Michael Coulson , Clemens Szyperski , Gregory Hughes
- 申请人地址： US WA Redmond
- 专利权人： MICROSOFT TECHNOLOGY LICENSING, LLC
- 当前专利权人： MICROSOFT TECHNOLOGY LICENSING, LLC
- 当前专利权人地址： US WA Redmond
- 代理商 Brian Haslam; Mike Allen; Micky Minhas
- 主分类号： G06F11/00
- IPC分类号： G06F11/00 ; G06F11/36 ; G06F9/45 ; G06F9/445
摘要：
A dynamic, lazy type system is provided for a dynamic, lazy programming language. Consequently, programs can benefit from runtime flexibility and lightweight notation in combination with benefits afforded by a substantial type system.
公开/授权文献
- US20120216077A1 DYNAMIC LAZY TYPE SYSTEM 公开/授权日：2012-08-23
信息查询
