| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 2 of 2
reviews
|
|
|
 |
|
|
|
|
Decentralized execution of constraint handling rules for ensembles
Lam E., Cervesato I. PPDP 2013 (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, Madrid, Spain, Sep 16-18, 2013) 205-216, 2013. Type: Proceedings
Specific styles of programming, such as imperative programming, functional programming, and constraint programming, are born from the need to facilitate the computational solution of a specific class of problem. Each style has an assoc...
|
Apr 3 2014 |
|
|
|
|
|
|
A correspondence between type checking via reduction and type checking via evaluation
Sergey I., Clarke D. Information Processing Letters 112(1-2): 13-20, 2012. Type: Article
This paper deals with the implementation of a type checker for the simply typed lambda calculus in the Standard ML language. A type system is generally defined via a set of predicates that are defined inductively following the structur...
|
Mar 25 2013 |
|
|
|
|
|
| |
|
|
| |
|
|
