I've been trying to gather information about how to write small technical reports (I believe this is kind of similar to writing a rough draft of a paper), but have been mostly unable to find any.
I tried contacting one of my old coworkers (who is working at Loria) but to no avail.
I am not (yet) a researcher, and know close to nothing about this stuff, but i'd really like writing some sort of report for both Nihil and N*, how they interoperate, how their type system behave together or on their own, describing the syntax and features of the compilers, etc.
If anyone has any information about this, I'll be very grateful to know more.
I've been trying to gather information about how to write small technical reports (I believe this is kind of similar to writing a rough draft of a paper), but have been mostly unable to find any. I tried contacting one of my old coworkers (who is working at Loria) but to no avail. I am not (yet) a researcher, and know close to nothing about this stuff, but i'd really like writing some sort of report for both Nihil and N*, how they interoperate, how their type system behave together or on their own, describing the syntax and features of the compilers, etc.
If anyone has any information about this, I'll be very grateful to know more.