Search
 
   

53 results for "domain:research.microsoft.com"

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