Parametric approach of the domino effect for structural fragments
- 作者Dongliang Sun; Juncheng Jiang; Mingguang Zhang; Zhirong Wang; Guangtuan Huang; Jianjiang Qiao
- 卷第25卷
- 期第1期
- 印刷ISSN0950-4230
- 文件大小1573.16KB
- 发表时间2012
- DOI10.1016/j.jlp.2011.06.029
- 页码114-126
Step-indexed kripke models over recursive worldsBirkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok · ACM SIGPLAN Notices · 2011
Realisability semantics of parametric polymorphism, general references and recursive typesBIRKEDAL, LARS; STØVRING, KRISTIAN; THAMSBORG, JACOB · Mathematical Structures in Computer Science · 2010
The category-theoretic solution of recursive metric-space equationsLars Birkedal; Kristian Støvring; Jacob Thamsborg · 2010
[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Step-indexed kripke models over recursive worldsBirkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok · 2011