Flix (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Flix (programming language)" in English language version.

refsWebsite

Global rank English rank

11doi.org

2^nd place

8semanticscholar.org

11^th place

8^th place

8flix.dev

low place

2github.com

383^rd place

320^th place

1dff.dk

low place

1arxiv.org

69^th place

59^th place

1mlton.org

low place

1visualstudio.com

low place

1rust-lang.org

low place

8,052^nd place

arxiv.org

Leijen, Daan (5 June 2014). "Koka: Programming with Row Polymorphic Effect Types". Electronic Proceedings in Theoretical Computer Science. 153: 100–126. arXiv:1406.2061. doi:10.4204/EPTCS.153.8. S2CID 14902937.

dff.dk

"Forskningsprojekter". Danmarks Frie Forskningsfond (in Danish).

doi.org

Madsen, Magnus; van de Pol, Jaco (13 November 2020). "Polymorphic Types and Effects with Boolean Unification". Proceedings of the ACM on Programming Languages. 4 (OOPSLA): 1–29. doi:10.1145/3428222. S2CID 227044242.
Madsen, Magnus; Lhoták, Ondřej (13 November 2020). "Fixpoints for the Masses: Programming with First-class Datalog Constraints". Proceedings of the ACM on Programming Languages. 4 (OOPSLA): 125:1–125:28. doi:10.1145/3428193. S2CID 227107960.
Lucassen, J. M.; Gifford, D. K. (1988). "Polymorphic effect systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 47–57. doi:10.1145/73560.73564. ISBN 0897912527. S2CID 13015611.
Leijen, Daan (5 June 2014). "Koka: Programming with Row Polymorphic Effect Types". Electronic Proceedings in Theoretical Computer Science. 153: 100–126. arXiv:1406.2061. doi:10.4204/EPTCS.153.8. S2CID 14902937.
Madsen, Magnus; Yee, Ming-Ho; Lhoták, Ondřej (August 2016). "From Datalog to flix: a declarative language for fixed points on lattices". ACM SIGPLAN Notices. 51 (6): 194–208. doi:10.1145/2980983.2908096.
Madsen, Magnus; Lhoták, Ondřej (2018). "Safe and sound program analysis with Flix". Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. pp. 38–48. doi:10.1145/3213846.3213847. ISBN 9781450356992. S2CID 49427988.
Keidel, Sven; Erdweg, Sebastian (10 October 2019). "Sound and reusable components for abstract interpretation". Proceedings of the ACM on Programming Languages. 3 (OOPSLA): 1–28. doi:10.1145/3360602. S2CID 203631644.
Madsen, Magnus; Zarifi, Ramin; Lhoták, Ondřej (2018). "Tail call elimination and data representation for functional languages on the Java virtual machine". Proceedings of the 27th International Conference on Compiler Construction. pp. 139–150. doi:10.1145/3178372.3179499. ISBN 9781450356442. S2CID 3432962.
Tauber, Tomáš; Bi, Xuan; Shi, Zhiyuan; Zhang, Weixin; Li, Huang; Zhang, Zhenrui; Oliveira, Bruno C. D. S. (2015). Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. Lecture Notes in Computer Science. Vol. 9458. pp. 11–28. doi:10.1007/978-3-319-26529-2_2. ISBN 978-3-319-26528-5. {{cite book}}: |journal= ignored (help)
Engler, D. (October 2003). "Using redundancies to find errors". IEEE Transactions on Software Engineering. 29 (10): 915–928. doi:10.1109/TSE.2003.1237172.
Arntzenius, Michael; Krishnaswami, Neel (January 2020). "Seminaïve evaluation for a higher-order functional language". Proceedings of the ACM on Programming Languages. 4 (POPL): 1–28. doi:10.1145/3371090. S2CID 208305062.

flix.dev

github.com

"Apache License 2.0". 27 July 2022 – via GitHub.
"Flix Authors". GitHub. 27 July 2022.

mlton.org

"Monomorphise". mlton.org.

rust-lang.org

internals.rust-lang.org

"Rust Internals - Flix Polymorphic Effects". 15 November 2020.

semanticscholar.org

api.semanticscholar.org

Madsen, Magnus; van de Pol, Jaco (13 November 2020). "Polymorphic Types and Effects with Boolean Unification". Proceedings of the ACM on Programming Languages. 4 (OOPSLA): 1–29. doi:10.1145/3428222. S2CID 227044242.
Madsen, Magnus; Lhoták, Ondřej (13 November 2020). "Fixpoints for the Masses: Programming with First-class Datalog Constraints". Proceedings of the ACM on Programming Languages. 4 (OOPSLA): 125:1–125:28. doi:10.1145/3428193. S2CID 227107960.
Lucassen, J. M.; Gifford, D. K. (1988). "Polymorphic effect systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 47–57. doi:10.1145/73560.73564. ISBN 0897912527. S2CID 13015611.
Leijen, Daan (5 June 2014). "Koka: Programming with Row Polymorphic Effect Types". Electronic Proceedings in Theoretical Computer Science. 153: 100–126. arXiv:1406.2061. doi:10.4204/EPTCS.153.8. S2CID 14902937.
Madsen, Magnus; Lhoták, Ondřej (2018). "Safe and sound program analysis with Flix". Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. pp. 38–48. doi:10.1145/3213846.3213847. ISBN 9781450356992. S2CID 49427988.
Keidel, Sven; Erdweg, Sebastian (10 October 2019). "Sound and reusable components for abstract interpretation". Proceedings of the ACM on Programming Languages. 3 (OOPSLA): 1–28. doi:10.1145/3360602. S2CID 203631644.
Madsen, Magnus; Zarifi, Ramin; Lhoták, Ondřej (2018). "Tail call elimination and data representation for functional languages on the Java virtual machine". Proceedings of the 27th International Conference on Compiler Construction. pp. 139–150. doi:10.1145/3178372.3179499. ISBN 9781450356442. S2CID 3432962.
Arntzenius, Michael; Krishnaswami, Neel (January 2020). "Seminaïve evaluation for a higher-order functional language". Proceedings of the ACM on Programming Languages. 4 (POPL): 1–28. doi:10.1145/3371090. S2CID 208305062.

visualstudio.com

marketplace.visualstudio.com

"flix - Visual Studio Marketplace". marketplace.visualstudio.com.

Flix (programming language) (English Wikipedia)

arxiv.org

dff.dk

doi.org

flix.dev

doc.flix.dev

flix.dev

api.flix.dev

github.com

mlton.org

rust-lang.org

internals.rust-lang.org

semanticscholar.org

api.semanticscholar.org

visualstudio.com

marketplace.visualstudio.com