[polyml] the design of Poly/ML

2021-02-17 Thread Buday Gergely
Hi, is there an academic description of the design of Poly/ML, regarding compilation strategies, intermediate languages etc? Cheers - Gergely ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Re: [polyml] Announcement: Giraffe Library

2021-02-17 Thread Phil Clayton
That's unfortunate timing. It's worth noting that languages using GObject Introspection to provide bindings should expose similarly named types, functions, signals and properties which eases conversion between those languages (which is why e.g. GTK tutorials for other languages can be useful f