Strongly-Typed Language Support for InternetScale Information Sources 1 Don Syme, Keith Battocchi, Kenji Takeda , Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae

Source URL: tomasp.net

Themes in Information-Rich Functional Programming for Internet-Scale Data Sources Don Syme, Keith Battocchi, Kenji Takeda Microsoft Research Cambridge, UK

Source URL: tomasp.net

• Markup languages
• Type theory
• Type systems
• Procedural programming languages
• Functional languages
• Language Integrated Query
• JSON
• Type inference
• Functional programming
• Database
• Programming language
• Go

Collecting Hollywood’s Garbage Avoiding Space-Leaks in Composite Events Tomáš Petříček Don Syme

Source URL: tomasp.net

• Software engineering
• Computing
• Software
• Computer programming
• Programming paradigms
• Evaluation strategy
• Automatic memory management
• Memory management
• Event
• JQuery
• Memory leak
• Garbage

Computer Science F# in Education – Programming the New Generation F# is a simple, type-safe, and efficient functional programming language with special expressiveness in parallel programming, scripting, and algorithmi

Source URL: research.microsoft.com

• Computing platforms
• Integrated development environments
• F Sharp
• Microsoft Research
• Don Syme
• Microsoft Visual Studio
• Microsoft
• C Sharp
• MonoDevelop
• Computing
• Software
• Mono project