Formalise type system extensions

New Issue

Last updated 2017-04-28 15:52:35 UTC

No due date

0% Completed

3 Open 0 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

bug

current task

duplicate

enhancement

help wanted

in progress

invalid

later

question

ready

wontfix

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

suzanne.soy

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

Proof that well-typed programs with the extensions translate to well-typed programs in plain TR, with the same semantics #27

#33 opened 2021-10-04 19:46:49 +01:00 by jsmaniac

Formalise the semantics of typed-nanopass+graph programs (using redex?) #25

#31 opened 2021-10-04 19:43:49 +01:00 by jsmaniac

Formalise what well-typed means for typed-nanopass+graph means #24

#30 opened 2021-10-04 19:43:11 +01:00 by jsmaniac