The effects of chemical protective suits on human performance
- 作者Susan L. Murray; Yvette L. Simon; Hong Sheng
- 卷第24卷
- 期第6期
- 印刷ISSN0950-4230
- 文件大小435.30KB
- 发表时间2011
- DOI10.1016/j.jlp.2011.06.001
- 页码774-779
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