Dependent types ensure partial correctness of theorem provers.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 3, doi. 10.1017/s0956796803004921
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2004 AND VI 14 AND IP 1
Results: 6
1
2
Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 1, doi. 10.1017/s0956796803004866
- By:
- Publication type:
- Article
3
Building reliable, high-performance networks with the Nuprl proof development system.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 21, doi. 10.1017/s0956796803004854
- By:
- Publication type:
- Article
4
Proof, Language and Interaction, Essays in Honour of Robin Milner eds Gordon Plotkin, Colin Sterling, Mads Tofte, Foundations of Computing Series, MIT Press 2000.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 125, doi. 10.1017/s0956796803004830
- By:
- Publication type:
- Article
5
The view from the left.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 69, doi. 10.1017/s0956796803004829
- By:
- Publication type:
- Article
6
The risks and benefits of teaching purely functional programming in first year.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 113, doi. 10.1017/s0956796803004805
- By:
- Publication type:
- Article