Sciweavers

10447 search results - page 140 / 2090

» The Philosophy of Computer Science

82

TLCA
1999
Springer

72views Theoretical Computer Science» more TLCA 1999»

A Curry-Howard Isomorphism for Compilation and Program Execution

15 years 7 months ago

A Curry-Howard Isomorphism for Compilation and Program Execution

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

73

ITICSE
1998
ACM

107views Theoretical Computer Science» more ITICSE 1998»

Why do students take programming modules?

15 years 7 months ago

Why do students take programming modules?

Download www.ceid.upatras.gr

Paul Curzon, Janet Rix

claim paper

Read More »

85

ITICSE
1998
ACM

101views Theoretical Computer Science» more ITICSE 1998»

Strategies for using technology in the teaching of ethics

15 years 7 months ago

Strategies for using technology in the teaching of ethics

Download www-cs-faculty.stanford.edu

Eric Roberts

claim paper

Read More »

109

ITICSE
1998
ACM

135views Theoretical Computer Science» more ITICSE 1998»

Concrete teaching: hooks and props as instructional technology

15 years 7 months ago

Concrete teaching: hooks and props as instructional technology

Download www.cs.duke.edu

Owen L. Astrachan

claim paper

Read More »

79

ITICSE
1998
ACM

126views Theoretical Computer Science» more ITICSE 1998»

Motivating the Church-Turing thesis in the twenty-first century

15 years 7 months ago

Motivating the Church-Turing thesis in the twenty-first century

Download home.manhattan.edu

R. Gregory Taylor

claim paper

Read More »

« Prev « First page 140 / 2090 Last » Next »