User loginNavigation |
Galois: high assurance softwareThe ICFP 2004 program now links to the invited talks, in particular PowerPoint slides and MP3 audio for John Launchbury's excellent talk on bringing functional programming to the real world at Galois Connections. By Chung-chieh Shan at 2004-09-30 14:43 | LtU Forum | previous forum topic | next forum topic | other blogs | 8381 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 14 hours ago
17 weeks 14 hours ago
17 weeks 14 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago