Titlebook: Implementation of Functional Languages; 15th International W Phil Trinder,Greg J. Michaelson,Ricardo Peña Conference proceedings 2005 Sprin

trace-mineral

书目名称Implementation of Functional Languages影响因子(影响力)




书目名称Implementation of Functional Languages影响因子(影响力)学科排名




书目名称Implementation of Functional Languages网络公开度




书目名称Implementation of Functional Languages网络公开度学科排名




书目名称Implementation of Functional Languages被引频次




书目名称Implementation of Functional Languages被引频次学科排名




书目名称Implementation of Functional Languages年度引用




书目名称Implementation of Functional Languages年度引用学科排名




书目名称Implementation of Functional Languages读者反馈




书目名称Implementation of Functional Languages读者反馈学科排名

landfill

Lazy Assertions should be lazy – not forcing evaluation, but only examining what is evaluated by other parts of the program. We explore the subtle semantics of lazy assertions and describe sequential and concurrent variants of a method for checking lazy assertions. All variants are implemented in Haskell.

alcohol-abuse

intolerance

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/462564.jpg

Entropion

978-3-540-23727-3Springer-Verlag Berlin Heidelberg 2005

整理

Implementation of Functional Languages978-3-540-27861-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

harbinger

0302-9743 Overview: 978-3-540-23727-3978-3-540-27861-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Parameter

inferno

Lazy Assertions should be lazy – not forcing evaluation, but only examining what is evaluated by other parts of the program. We explore the subtle semantics of lazy assertions and describe sequential and concurrent variants of a method for checking lazy assertions. All variants are implemented in Haskell.

IRS