Tweag
Technical groups
Dropdown arrow
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
Dropdown arrow
Open source
Careers
Research
Blog
Contact
Consulting services

Blog: inline-java (8 posts)

17 November 2021
Safe Sparkle: a resource-safe interface with linear types
NG
Noah Goodman
On design choices to build a resource-safe interface for Sparkle using linear types
6 February 2020
A safer inline-java
FD
Facundo Dominguez
In this post about inline-java I aim to walk you through the upcoming safe interface of the library, which allows detecting memory management mistakes at compile time using linear types.
17 October 2016
A new ecosystem for Haskell: the JVM
AM
By now, Haskell has first class support for seamlessly embedding foreign code into source files and casually call anything in C (via inline-c) or R (via inline-r), let alone that whole programs can also be compiled down to in-browser JavaScript, thanks to GHCJS. Today the…

Company

AboutOpen SourceCareersContact Us

Connect with us

© 2024 Modus Create, LLC

Privacy PolicySitemap