Search: cis.upenn.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Great Works in Programming Languages

15 years ago

4 points

62.

How to write a great research paper, Seven simple suggestions [pdf]

8 years ago

4 points

63.

The etiology and elaboration of a flagrant mistranslation (2007)

itre.cis.upenn.edu

16 years ago

4 points

64.

The Algorithmic Foundations of Differential Privacy (2014) [pdf]

9 years ago

4 points

65.

Statistical Modeling: The Two Cultures

17 years ago

3 points

66.

Software Foundations

softwarefoundations.cis.upenn.edu

9 years ago

3 points

67.

Software Foundations: theory of programming and programming languages

13 years ago

3 points

68.

Using Coq to verify LLVM optimization passes.

14 years ago

3 points

69.

Great Works in Programming Languages

14 years ago

3 points

70.

Great Works in Programming Languages

4 years ago

3 points

71.

Logical Foundations – Functional Programming in Coq

softwarefoundations.cis.upenn.edu

5 years ago

3 points

72.

Notes for Introduction to the Theory of Computation UPenn (2021)

5 years ago

3 points

73.

Math is hard. Let's go shopping

itre.cis.upenn.edu

15 years ago

cristinacordova

3 points

74.

Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi [pdf]

6 years ago

3 points

75.

Software Foundations

softwarefoundations.cis.upenn.edu

6 years ago

3 points

76.

Software Foundations series books for reliable software

softwarefoundations.cis.upenn.edu

7 years ago

3 points

77.

The Synchronous Data Center [pdf]

7 years ago

3 points

78.

Algebra, Topology, Differential Calculus, and Optimization Theory for Comp Sci

8 years ago

3 points

79.

The Functional Neuroanatomy of Science Journalism

itre.cis.upenn.edu

18 years ago

3 points

80.

Monoids. Themes and Variations (2012) [pdf]

11 years ago

3 points

81.

Gordon E. Moore: Cramming More Components onto Integrated Circuits (1965) [pdf]

11 years ago

2 points

82.

Ironclad C++: A Library-Augmented Type-Safe Subset of C++ (OOPSLA 2013)

acg.cis.upenn.edu

13 years ago

2 points

83.

An Escher Sentence in the Wild (2004)

itre.cis.upenn.edu

4 years ago

2 points

84.

Great Works in Programming Languages

12 years ago

2 points

85.

Unison File Synchronizer

12 years ago

2 points

86.

The Penn-Lehman Automated Trading Project (2005-06)

17 years ago

2 points

87.

'Blub' from a linguistic point of view

itre.cis.upenn.edu

19 years ago

2 points

88.

Asterisking and other orthographic rituals

itre.cis.upenn.edu

13 years ago

2 points

89.

Dana Scott on the lambda calculus, then and now [pdf]

a year ago

2 points

90.

Software Foundations

softwarefoundations.cis.upenn.edu

2 years ago

2 points