FYI: "LabMate: A prospectus for types for MATLAB" doi:10.1016/j.measen.2024.101460

Rodney Brown <[email protected]> Fri, 4 Apr 2025 18:48:15 +1100
Newsgroups gmane.comp.gnu.octave.general
Message-ID <[email protected]>
SWYgSSB1bmRlcnN0YW5kIGl0IGNvcnJlY3RseSwgdGhpcyB3b3VsZCB3b3JrIGZvciBPY3RhdmUu
CgpDb25vciBNY0JyaWRlLCBHZW9yZ2kgTmFrb3YsIEZyZWRyaWsgTm9yZHZhbGwgRm9yc2Jlcmcs
IEFuZHJlIFZpZGVsYSwgCkFsaXN0YWlyIEZvcmJlcywgS2VpdGggTGluZXMgKDIwMjUpIExhYk1h
dGU6IEEgcHJvc3BlY3R1cyBmb3IgdHlwZXMgZm9yIApNQVRMQUIsCk1lYXN1cmVtZW50OiBTZW5z
b3JzIDEwMTQ2MCBkb2k6MTAuMTAxNi9qLm1lYXNlbi4yMDI0LjEwMTQ2MApodHRwczovL3d3dy5z
Y2llbmNlZGlyZWN0LmNvbS9zY2llbmNlL2FydGljbGUvcGlpL1MyNjY1OTE3NDI0MDA0MzY3Ci4u
LsKgIEhvd2V2ZXIgdGhlIGhpZ2gtbGV2ZWwgbWVhbmluZyBvZiBzdWNoIE1BVExBQiBwcm9ncmFt
cyBzdGF5cyAKaW5mb3JtYWwsIHdoaWNoIGNhbiBsZWFkIHRvIGltcGxlbWVudGF0aW9uIGVycm9y
cyBhbmQgYnVncywgZm9yIGV4YW1wbGUgCnJlbGF0aW5nIHRvIGluY29tcGF0aWJsZSB1bml0cyBv
ZiBtZWFzdXJlIGZvciBxdWFudGl0aWVzLCBvciAKaW5jb21wYXRpYmxlIHNpemVzIG9mIG1hdHJp
Y2VzIGF0IHJ1bnRpbWUuIFdlIGFyZSBpbiB0aGUgcHJvY2VzcyBvZiAKZGV2ZWxvcGluZyBMYWJN
YXRlLCB3aGljaCBpcyBhIHRvb2wgZm9yIHJlaWZ5aW5nIGN1cnJlbnQgaW5mb3JtYWwgCnByb2dy
YW1tZXIgcHJhY3RpY2VzIGludG8gYSBsYW5ndWFnZSBvZiBmb3JtYWwgY29tbWVudHMuIC4uLgoK
Li4uwqAgV2UgYWxzbyBoYXZlIG91ciB3b3JrIGN1dCBvdXQgdG8gcmV0cm9maXQgTGFiTWF0ZSB0
eXBlcyB0byBNQVRMQUIgCmxpYnJhcmllcy4gLi4uIChPY3RhdmUgbGlicmFyaWVzKQoKaHR0cHM6
Ly9naXRodWIuY29tL21zcC1zdHJhdGgvTGFiTWF0ZS8KTGFiTWF0ZQoKTGFiTWF0ZSBpcyB5b3Vy
IGZyaWVuZGx5IHJvYm90aWMgYXNzaXN0YW50IGZvciB3cml0aW5nIG1lYW5pbmdmdWwgTWF0bGFi
IApjb2RlLgpJbnN0YWxsYXRpb24KWW91IHdpbGwgbmVlZCB0byBoYXZlIHRoZSBHSEMgSGFza2Vs
bCBjb21waWxlciBhbmQgdGhlIGNhYmFsIHRvb2wgb24gCnlvdXIgc3lzdGVtLiAuLi4uCgpVc2Fn
ZQpMYWJNYXRlIGlzIG1lYW50IHRvIHdvcmsgYXMgYSB0cmFuc2R1Y2VyOiBpdCBjb252ZXJ0cyBh
biBpbnB1dCBmaWxlIGludG8gCmEgcG9zc2libHkgbW9yZSBpbmZvcm1hbCBvdXRwdXQgZmlsZS4g
SWYgdGhlIGlucHV0IGZpbGUgY29udGFpbnMgCmRpcmVjdGl2ZXMgKGVuY29kZWQgYXMgZm9ybWFs
bHkgbWFya2VkIE1hdGxhYiBjb21tZW50cyksIHRoZSBvdXRwdXQgZmlsZSAKd2lsbCBjb250YWlu
IGFkZGl0aW9uYWwgcmVzcG9uc2VzLCBlaXRoZXIgaW4gdGhlIGZvcm0gb2YgTWF0bGFiIGNvbW1l
bnRzIAphZ2Fpbiwgb3IgaW4gdGhlIGZvcm0gb2YgZ2VuZXJhdGVkIE1hdGxhYiBjb2RlCgoKCi0t
LS0tLS0tLS0KV2UgYXJlIHRyYW5zaXRpb25pbmcgdG8gYSB3ZWIgYmFzZWQgZm9ydW0KZm9yIGNv
bW11bml0eSBoZWxwIGRpc2N1c3Npb25zIGF0Cmh0dHBzOi8vb2N0YXZlLmRpc2NvdXJzZS5ncm91
cC9jL2hlbHAK