Publications

Below is a selected list of our publications on F# and functional programming.

Books on F#

Don Syme, Adam Granicz, Antonio Cisternino. Expert F# 2.0. Apress, 2010 June. ISBN-1430224312.
Link: Book

Don Syme, Adam Granicz, Antonio Cisternino. Expert F#. Apress, 2007 December. ISBN-1590598504.
Link: Book

Books on Visual Studio

Istvan Novak, Andras Velvart, Adam Granicz, Gyorgy Balassy, Attila Hajdrik, Mitch Sellers, Gaston Hillar, Agnes Molnar, Joydip Kanjilal. Visual Studio 2010 and .NET 4 Six-in-One. Wrox, 2010 October. ISBN-0470499486.
Link: Book

Online Articles on F#

Adam Granicz. Working with units of measure in F#. DevX.com, (coming soon)
Link: Article

Adam Granicz. Rapid Prototyping of DSLs in F# - Part II. DevX.com, (coming soon)
Link: Article

Adam Granicz. Rapid Prototyping of DSLs in F# - Part I. DevX.com, Aug 25, 2009.
Link: Article

Adam Granicz. Parsing with Active Patterns in F#. DevX.com, June 18, 2009.
Link: Article

Adam Granicz. Working with DSLs and Computation Expressions in F#. DevX.com, December 24, 2008.
Link: Article

Adam Granicz. Working with Objects in F#. DevX.com, September 30, 2008.
Link: Article

Adam Granicz. An Introduction to F# for Functional Programming. DevX.com, August 6, 2008.
Link: Article

Laurent LeBrun. Pretty-printing with F#. www.intellifactory.com, May 21, 2007.
Link: Article

Adam Granicz. LOGO Interpreter in 400 lines. www.intellifactory.com, Dec 1, 2006.
Link: Article

Commercial Uses of F#

Alex Peake, Adam Granicz. The First Substantial Line of Business Application in F# . Commercial Users of Functional Programming (CUFP), Edinburgh, Scotland, 2009.

Developer Conferences

Don Syme, Adam Granicz, Robert Pickering. Client-based web application development with F# . TechDays Paris, Paris, France, February 2010.

Adam Granicz. Client-based web application development with F# . Hungarian Web Conference, Budapest, Hungary, October 2009.

Adam Granicz. Robust Web Application Development with F# . Hungarian Web Conference, Budapest, Hungary, 2008.

Summer Schools

Adam Granicz. Rapid Prototyping of DSLs with F# . Central European Summer School in Functional Programming (CEFP), Budapest, Hungary, July 2009.

Resource Planning

Tibor Bercsey, Tamas Rick, Istvan Groma, Adam Granicz. GA-Based Flexible and Effective Task Scheduling and Resource Allocation . In the Proceedings of the World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI), pp. 119-124, Orlando, Florida, USA, 2005.

Extensible Compilers

Adam Granicz, Daniel M. Zimmerman, and Jason Hickey. Rewriting UNITY. In the Proceedings of Rewriting Techniques and Applications (RTA), Valencia, Spain, 2003.
Download: - PDF - PS

Adam Granicz and Jason Hickey. Phobos: A front-end approach to extensible compilers. In the Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS). IEEE, Waikoloa, Hawaii, 2002.
Download: - PDF - PS

Formal Environments and Compilers

Jason Hickey, Aleksey Nogin, Adam Granicz, and Brian Aydemir. Formal Compiler Implementation in a Logical Framework. In the Proceedings of MERLIN, Second ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding, Uppsala, Sweden. 2003.
Download: - PDF - PS

Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, and Xin Yu. MetaPRL - A Modular Logical Environment. In the Proceedings of Theorem Proving in Higher Order Logics (TPHOLs) , Rome, Italy, 2003.

Brian Aydemir, Adam Granicz, and Jason Hickey. Formal Design Environments. International Conference on Theorem Proving in Higher Order Logics (TPHOLs) , Hampton, Virginia, 2002. Appears in NASA technical report NASA/ CP-2002-211736.
Download: - PDF - PS

Technical Reports

Jason Hickey, Justin D. Smith, Brian Aydemir, Nathaniel Gray, Adam Granicz, and Cristian Tapus. Process Migration and Transactions Using a Novel Intermediate Language. Technical Report caltechCSTR2007.007, California Institute of Technology, Computer Science, July 2002.
Download: - PDF - PS

Theses of IntelliFactory Interns

Diego Echeverri. Permissive operators for language extensibility. Bachelors Thesis Report. Universidad EAFIT, Columbia, Department of Systems Engineering, December 2009 (expected).
Download: - PDF

Ersoy Bayramoglu. Programming with Undo. Masters Thesis Report, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, School of Computer and Communication Sciences, August 2009.
Download: - PDF

Laurent Le Brun. Conception and Implementation of Deimos. Masters Thesis Report, EPITA, France, July 2007.
Download: - PDF

Miscellaneous

The below articles and notes were prepared as part of graduate course preparation. They are posted here in the hopes of being useful without any promise to be accurate.

•	Graph Colorings | - PDF | - PS	Nov 15, 2001
	This document gives some basic definitions around graphs and graph colorings.
•	The Permanent and #P | - PDF | - PS	May 31, 2001
	This article describes the complexity of computing the permanent; based on a 1979 paper by L.G. Valiant.