Search: cis.upenn.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Time flies like an arrow; fruit flies like a banana

itre.cis.upenn.edu

13 years ago

1 points

122.

Social networking with Frientegrity: security with an untrusted provider

13 years ago

1 points

123.

Linear Algebra for Computer Vision, Robotics, and Machine Learning [pdf]

2 months ago

1 points

124.

[PDF] Encoding information flow in Haskell (think Perl taint-checking on steroids)

19 years ago

1 points

125.

Two ways to look at the passive (2006)

itre.cis.upenn.edu

2 years ago

1 points

126.

Unsupervised Event-Based Independent Motion Segmentation

3 years ago

1 points

127.

The Confused Deputy (or why capabilities might have been invented)

14 years ago

1 points

128.

Networked Life (Penn Syllabus)

3 years ago

1 points

129.

Software Foundations, by Benjamin C. Pierce et al. [ebook]

14 years ago

1 points

130.

A brief history of “spaz” (2006)

itre.cis.upenn.edu

4 years ago

1 points

131.

Types Considered Harmful (2008) [pdf]

4 years ago

1 points

132.

Types Considered Harmful (2008) [pdf]

4 years ago

1 points

133.

Dissection of a Blu-ray Reader Assembly: The Optics

repairfaq.cis.upenn.edu

5 years ago

1 points

134.

Unison (1998) – a file-synchronization tool for Unix and Windows

5 years ago

1 points

135.

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

5 years ago

1 points

136.

Conservation of (Orthographic) Gemination (2004)

itre.cis.upenn.edu

5 years ago

1 points

137.

Unison: my OS dropbox replacement

15 years ago

1 points

138.

Software Foundations

softwarefoundations.cis.upenn.edu

5 years ago

1 points

139.

Toward Better Storylines with Sentence-Level Language Models [pdf]

6 years ago

1 points

140.

Featherweight Java: A Minimal Core Calculus for Java and GJ (2002) [pdf]

6 years ago

1 points

141.

The Haskell Alphabet

15 years ago

1 points

142.

A formal investigation of diff3 [pdf]

7 years ago

1 points

143.

Mixing virtual and real scenes in the site of ancient Pompeii

cg.cis.upenn.edu

16 years ago

1 points

144.

UPenn CIS 194: Introduction to Haskell lecture notes

8 years ago

1 points

145.

Hed, dek, lede, graf, tk: live with it

itre.cis.upenn.edu

8 years ago

1 points

146.

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

9 years ago

1 points

147.

Great Works in Programming Languages (2004)

9 years ago

1 points

148.

Software Foundations

softwarefoundations.cis.upenn.edu

9 years ago

1 points

149.

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

9 years ago

1 points

150.

Unison: File Synchronization

16 years ago

1 points