Works matching DE "PEARL (Computer program language)"
Results: 2
A Completely Verified Realistic Bootstrap Compiler.
- Published in:
- International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 659, doi. 10.1142/S0129054103001947
- By:
- Publication type:
- Article
FUNCTIONAL PEARL. Proof-directed debugging ? Corrigendum.
- Published in:
- 2009
- Publication type:
- Erratum