Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
53 results for "domain:research.microsoft.com"
6
HALO - Haskell to Logic through Denotational Semantics
pdf
compsci
formalmethods
haskell
research.microsoft.com
via
nickpsecurity
1 year ago
|
cached
|
no comments
0
1
Should Your Specification Language Be Typed?
pdf
compsci
research.microsoft.com
via
pushcx
1 year ago
|
cached
|
no comments
0
7
A reflection on types
☶
pdf
compsci
haskell
research.microsoft.com
via
hao
1 year ago
|
cached
|
no comments
0
9
What really happened on Mars? (1997)
debugging
historical
programming
science
research.microsoft.com
via
calvin
1 year ago
|
cached
|
no comments
0
5
Change Bursts as Defect Predictors
pdf
programming
research.microsoft.com
via
pushcx
2 years ago
|
cached
|
no comments
0
10
Non-Recursive Make Considered Harmful
☶
pdf
haskell
programming
research.microsoft.com
via
tedu
2 years ago
|
cached
|
4 comments
4
8
"What Went Right and What Went Wrong": An Analysis of 155 Postmortems from Game Development
games
practices
research.microsoft.com
via
friendlysock
2 years ago
|
cached
|
1 comment
1
6
Holoportation
graphics
release
research.microsoft.com
via
marvindanig
2 years ago
|
cached
|
no comments
0
6
Realizing quality improvement through test driven development
pdf
practices
research.microsoft.com
via
joshuacc
2 years ago
|
cached
|
no comments
0
2
Exploding Software-Engineering Myths (2009)
practices
programming
research.microsoft.com
via
emallson
2 years ago
|
cached
|
no comments
0
8
Dafny: A language and program verifier for functional correctness
compilers
research.microsoft.com
via
pushcx
2 years ago
|
cached
|
4 comments
4
5
Computer Science and State Machines
pdf
compsci
research.microsoft.com
via
pushcx
2 years ago
|
cached
|
no comments
0
9
How to Write a 21 st Century Proof (2011)
pdf
math
research.microsoft.com
via
pushcx
2 years ago
|
cached
|
2 comments
2
3
Ironclad Apps: End-to-End Security via Automated Full-System Verification
pdf
security
research.microsoft.com
via
englishm
2 years ago
|
cached
|
no comments
0
15
The Implementation of Functional Programming Languages (1987 Book by Simon Peyton Jones)
book
programming
research.microsoft.com
via
twopoint718
2 years ago
|
cached
|
2 comments
2
7
GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness
pdf
compilers
haskell
research.microsoft.com
via
pushcx
2 years ago
|
cached
|
no comments
0
2
Mercury: Hybrid Centralized and Distributed Scheduling in Large Shared Clusters
pdf
distributed
scaling
virtualization
research.microsoft.com
via
jitterted
2 years ago
|
cached
|
1 comment
1
5
Software Developers’ Perceptions of Productivity
pdf
practices
programming
research.microsoft.com
via
pushcx
2 years ago
|
cached
|
2 comments
2
8
The Influence of Organizational Structure On Software Quality: An Empirical Case Study
pdf
practices
programming
research.microsoft.com
via
joshuacc
3 years ago
|
cached
|
1 comment
1
7
Higher-Order Functional Reactive Programming in Bounded Space
☶
compsci
research.microsoft.com
via
kragen
3 years ago
|
cached
|
no comments
0
Page:
1
2
3