F* (programming language): Difference between revisions

Revision as of 21:27, 17 April 2023

Revision as of 21:58, 17 April 2023

Line 26:

Programs written in F* can be translated to [[OCaml]], [[F Sharp (programming language)|F#]], and [[C (programming language)|C]] for execution. Previous versions of F* could also be translated to [[JavaScript]].

It was introduced in 2011<ref name="origin-paper">

It was introduced in 2013<ref name="origin-paper">{{cite journal |last1=Swamy |first1=Nikhil |last2=Chen |first2=Juan |last3=Fournet |first3=Cédric |last4=Strub |first4=Pierre-Yves |last5=Bhargavan |first5=Karthikeyan |last6=Yang |first6=Jean |title=Secure distributed programming with value-dependent types |journal=Journal of Functional Programming |date=July 2013 |volume=23 |issue=4 |pages=402-451 |doi=10.1017/S0956796813000142 |url=https://www.cambridge.org/core/journals/journal-of-functional-programming/article/secure-distributed-programming-with-valuedependent-types/14288BBFE9B373738DC8F60C3E89E3E3 |access-date=17 April 2023}}</ref> and is under active development on [[GitHub]].<ref>{{cite web|url=https://github.com/FStarLang/FStar|title=FStarLang/FStar|website=GitHub|date=17 April 2023 }}</ref>

{{cite conference

|last1=Swamy

|first1=Nikhil

|last2=Chen

|first2=Juan

|last3=Fournet

|first3=Cédric

|last4=Strub

|first4=Pierre-Yves

|last5=Bhargavan

|first5=Karthikeyan

|last6=Yang

|first6=Jean

|title=Secure distributed programming with value-dependent types

|conference=ICFP '11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming

|date=September 2011

|volume=46

|issue=9

|pages=266–278

|___location = Tokyo, Japan

|doi=10.1145/2034574.2034811

|publisher=Association for Computing Machinery

|url=https://dl.acm.org/doi/10.1145/2034773.2034811

|access-date=17 April 2023}}</ref> and is under active development on [[GitHub]].<ref>{{cite web|url=https://github.com/FStarLang/FStar|title=FStarLang/FStar|website=GitHub|date=17 April 2023 }}</ref>

==History==