출판 Parallel Functional Programming on .NET with F# (recorded lecture) Don Syme February 2008 글쓴이 Microsoft, February 2008 프로젝트
출판 Introduction to F# (recorded lecture) Don Syme February 2008 글쓴이 Microsoft, February 2008 Introduction to F# (recorded lecture) 프로젝트
출판 A Generalized Framework for Conflict Analysis Lucas Bordeaux, Youssef Hamadi MSR-TR-2008-34 | February 2008
출판 On Modularity Clustering Daniel Delling, Robert Gorke, Zoran Nokoloski, Marco Gaertler, Ulrik Brandes, Dorothea Wagner, Martin Hoefer IEEE Transactions on Knowledge and Data Engineering | February 2008, 제 20 권: pp. 172-188
출판 Expert F# 2.0 Don Syme, Antonio Cisternino, Adam Granicz Published by Apress | January 2008 ISBN: 978-1-4302-2432-7 프로젝트
출판 DKAL: Distributed-Knowledge Authorization Language Yuri Gurevich, Itay Neeman MSR-TR-2008-09 | January 2008
출판 Cryptographically Sound Implementations for Typed Information-Flow Security Cédric Fournet, Tamara Rezk 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’08) | January 2008
출판 ASMs in the Classroom: Personal Experience Yuri Gurevich Logics of Specification Languages | January 2008, pp. 599-602
출판 A Secure Compiler for Session Abstractions Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer Journal of Computer Security (Special issue for CSF’07) | January 2008