Timeline for Question about "Type checking a multithreaded functional language with session types" by Vasconcelos et al
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 3, 2015 at 23:02 | comment | added | Stefan | @vzn: I don't know what "restrict use of lambdas" means in this context. The type discipline already "restricts the use" since you can only use it where the types match (e.g. where the calling context \Sigma matches the one expected by the function). | |
| Nov 3, 2015 at 23:01 | history | edited | Stefan | CC BY-SA 3.0 |
Give examples of solutions
|
| Nov 3, 2015 at 17:11 | comment | added | vzn | wondering, are there any solutions that restrict use of lambdas? | |
| Nov 3, 2015 at 16:04 | comment | added | Christophe De Troyer | It is indeed the case. I have had a discussion with the author via e-mail in the mean while as well. It makes no sense to retype what you just said in another answer. There is a different paper that addresses these issues titled "linear type theory for async session types". | |
| Nov 3, 2015 at 16:02 | history | bounty ended | Christophe De Troyer | ||
| Nov 3, 2015 at 16:02 | vote | accept | Christophe De Troyer | ||
| Nov 3, 2015 at 14:53 | history | answered | Stefan | CC BY-SA 3.0 |