Nemerle

Similar topics in Freebase

• 

  Cω

  Cω (pronounced C omega, /Ō-mē'gɘ/ or /Ō-mĕg'ɘ/; usually written as "Cw" or "Comega language") is a free extension to the C# programming language, developed by the WebData team in Microsoft SQL Server in collaboration with Microsoft Research in the UK and Redmond. It was formerly known as the...
• 

  Windows PowerShell

  Windows PowerShell is an extensible automation engine from Microsoft, consisting of a command-line shell and associated scripting language. Codenamed "Monad", it was first shown publicly at the Professional Developers Conference in September 2003. Version 1.0 was released in 2006 and is currently...
• 

  Objective Caml

  Objective Caml, or OCaml (pronounced /oʊˈkæməl/ oh-KAM-əl) is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996. OCaml is a free open source project managed and principally maintained by INRIA. OCaml...
• 

  Caml

  Caml (originally an acronym for Categorical Abstract Machine Language) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS. Like all descendants of ML, Caml is statically typed, strictly evaluated, and uses automatic memory management. The first Caml...

• Polyphonic C sharp

  Polyphonic C# is an extension of the C# programming language. It includes a new concurrency model in which objects can have both synchronous and asynchronous methods. The language is being developed by Nick Benton, Luca Cardelli and Cédric Fournet at Microsoft Research. Polyphonic C# is based on...

• Spec sharp

  Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a theorem prover...

• Alice ML

  Alice is a functional programming language designed by the Programming Systems Lab at Saarland University. It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming. The...

• Standard ML

  Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. SML is a modern descendant of the ML...

• F#

  F# (pronounced F Sharp) is a multi-paradigm programming language, targeting the .NET Framework, that encompasses functional programming as well as imperative object-oriented programming disciplines. It is a variant of ML and is largely compatible with the OCaml implementation. F# was initially...

• ATS

  ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems. The performance of ATS has been demonstrated to be comparable to that of the C and C++ programming languages....