5377 search results - page 192 / 1076 » Programming Languages For Interactive Computing |
216
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
103
Voted
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
80
Voted
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
109
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
182
Voted
Book
"This book contains over 100 hacks which help C++ programs deal with the real. It includes coding tricks, tips on how to code safely, ideas on programming style, and some real...