Prolog's Control Constructs in a Functional Setting — Axioms and Implementation
Ralf Hinze
Details
| Journal |
IJFCS |
| Number |
2 |
| Pages |
125−170 |
| Volume |
12 |
| Year |
2001 |
Links
DOI (10.1142/S0129054101000436)
Related pages
|
People |
|
|
Activities |