Sciweavers

55 search results - page 1 / 11
» scp 2008
Sort
View
89
Voted
SCP
2000
73views more  SCP 2000»
15 years 10 days ago
Generalising monads to arrows
John Hughes
87
Voted
SCP
1998
68views more  SCP 1998»
15 years 6 days ago
A Sound Polymorphic Type System for a Dialect of C
Geoffrey Smith, Dennis M. Volpano
74
Voted
SCP
2002
68views more  SCP 2002»
15 years 6 days ago
Formal methods in practice
Wolfgang Polak
66
Voted
SCP
2010
65views more  SCP 2010»
14 years 11 months ago
Simple section interchange and properties of non-computable functions
Ward Douglas Maurer