User loginNavigation |
Proving compositionsIf, for example, I have three functions (X a), (Y b), (Z c); and suppose that each has been complied and proven correct somehow. Now if I compose the three functions (X (Y (Z c))) is the answer proven also given the types match. I remember a paper posted on the home page that seemed to prove this, but can't seem to find it. By Hank Thediek at 2008-04-07 15:19 | LtU Forum | previous forum topic | next forum topic | other blogs | 6009 reads
|
Browse archives
Active forum topics
|
Recent comments
15 weeks 6 days ago
20 weeks 1 day ago
21 weeks 6 days ago
21 weeks 6 days ago
24 weeks 3 days ago
29 weeks 1 day ago
29 weeks 1 day ago
29 weeks 4 days ago
29 weeks 4 days ago
32 weeks 3 days ago