cs.cmu.edu
Home
Recent
Comments
Search
Login
55 stories from 29 submitters
5
Functional Perl: Programming with Recursion Schemes in Python
pdf
ml
plt
python
satire
cs.cmu.edu
via
calvin
2 months ago
|
cached
|
no comments
0
3
No Hands Across America
ai
historical
cs.cmu.edu
via
355E3B
8 months ago
|
cached
|
no comments
0
17
CMU 15-819 - Homotopy Type Theory
video
education
plt
cs.cmu.edu
via
jtm
10 months ago
|
cached
|
1 comment
1
11
Using Z: Specification, Refinement, and Proof
pdf
formalmethods
math
cs.cmu.edu
via
lorddimwit
1 year ago
|
cached
|
9 comments
9
5
Pegasus: A Framework for Sound Continuous Invariant Generation
☶
pdf
formalmethods
programming
cs.cmu.edu
via
nickpsecurity
1 year ago
|
cached
|
no comments
0
2
The Next 50 Years of Databases (2015)
databases
cs.cmu.edu
via
calvin
1 year ago
|
cached
|
no comments
0
5
The Vector Heat Method
graphics
math
cs.cmu.edu
via
friendlysock
1 year ago
|
cached
|
2 comments
2
4
Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5 (2018)
☶
pdf
formalmethods
hardware
cs.cmu.edu
via
nickpsecurity
2 years ago
|
cached
|
2 comments
2
2
Voxel Coloring
graphics
cs.cmu.edu
via
pekkavaa
2 years ago
|
cached
|
no comments
0
11
Functional Languages for Real-Time Control
compsci
plt
programming
cs.cmu.edu
via
nickpsecurity
2 years ago
|
cached
|
7 comments
7
4
VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models
☶
pdf
formalmethods
programming
cs.cmu.edu
via
nickpsecurity
2 years ago
|
cached
|
no comments
0
5
Quotations for Learning and Programming
☶
practices
programming
cs.cmu.edu
via
ceh
2 years ago
|
cached
|
2 comments
2
2
Semantic Crash Bucketing
☶
pdf
testing
cs.cmu.edu
via
ceh
2 years ago
|
cached
|
1 comment
1
1
QWeSST: Type-Safe, Web Programming Language (2011)
☶
pdf
slides
plt
web
cs.cmu.edu
via
nickpsecurity
3 years ago
|
cached
|
no comments
0
7
Social Processes and Proofs of Theorems and Programs (1979)
☶
pdf
formalmethods
practices
cs.cmu.edu
via
nickpsecurity
3 years ago
|
cached
|
5 comments
5
4
ABC: A C compiler for printable x86
pdf
c
compilers
release
cs.cmu.edu
via
pushcx
3 years ago
|
cached
|
1 comment
1
64
A C89 compiler that produces executables that are also valid ASCII text files
pdf
compilers
cs.cmu.edu
via
dl
3 years ago
|
cached
|
4 comments
4
9
Refinement Types in ML (1991)
pdf
compilers
compsci
ml
programming
cs.cmu.edu
via
nickpsecurity
3 years ago
|
cached
|
2 comments
2
16
Interview with Simon Peyton-Jones (POPL 2018)
haskell
person
cs.cmu.edu
via
puffnfresh
3 years ago
|
cached
|
no comments
0
4
People of Programming Languages
plt
cs.cmu.edu
via
evhan
3 years ago
|
cached
|
no comments
0
17
Interview of Xavier Leroy — POPL 18
compilers
compsci
ml
person
cs.cmu.edu
via
c-cube
3 years ago
|
cached
|
2 comments
2
9
People of Programming Languages: Interviews With PL Researchers
☶
formalmethods
ml
plt
cs.cmu.edu
via
seako
3 years ago
|
cached
|
no comments
0
4
The World's Fastest Scrabble Program (1988)
pdf
compsci
performance
cs.cmu.edu
via
pushcx
3 years ago
|
cached
|
1 comment
1
4
Larch: Languages and Tools for Formal Specification (1993)
pdf
formalmethods
historical
programming
cs.cmu.edu
via
nickpsecurity
3 years ago
|
cached
|
1 comment
1
4
Great Ideas in Theoretical Science
compsci
education
programming
cs.cmu.edu
via
nickpsecurity
3 years ago
|
cached
|
1 comment
1
Page 2 >>