Filters








2 Hits in 3.2 sec

The early history of F#

Don Syme
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
In 1997, as a response to Java, Microsoft initiated internal projects which eventually became the .NET programming framework and the C# language.  ...  I describe key developments in F# since 2010, including F# 3.0-4.5, and its evolution as an open source, cross-platform language with multiple delivery channels.  ...  Leroy replied on February 8, 2001 [Leroy 2001 ]: I've been working on and off (mostly off, lately) on an OCaml/Java interface that works by coupling the two systems at the C level via their foreign−function  ... 
doi:10.1145/3386325 fatcat:lk7zpwvyzfdc5gkscsmqmnze2e

Proof engineering for large-scale verification projects [article]

Ahmet Celik, Austin, The University Of Texas At, Austin, The University Of Texas At, Milos Gligoric
2019
for incremental proof checking.  ...  Second, this dissertation describes the design and implementation of piCoq, a set of techniques that blend t [...]  ...  Toolchain Our toolchain for mutation proving is implemented in OCaml, Java, and Bash.  ... 
doi:10.26153/tsw/5348 fatcat:g6f3pghndbgqlozt5c3l7wa55a