messages from 2013-05-07 00:36:06 to 2013-05-15 19:57:57 UTC [more...]
Seeking for papers about tagged types vs access to subprograms
2013-05-15 19:57 UTC (167+ messages)
` Weaker typing as a part of the way to stronger typing? (Was: Seeking for papers about tagged types vs access to subprograms)
Type vs subtype about visibility of parent's private full definition
2013-05-15 14:44 UTC (2+ messages)
Ada202X : alternate syntax for ranged scalars
2013-05-14 22:30 UTC (2+ messages)
do ada tasks run accross 16 cpu boxs? or stuck on 1 cpu?
2013-05-12 16:35 UTC (8+ messages)
User defined type conversion
2013-05-12 15:02 UTC (12+ messages)
tell me all about peru
2013-05-10 14:20 UTC
Generic access type convention and aliasing
2013-05-08 20:44 UTC (11+ messages)
SPARK Question
2013-05-07 20:44 UTC (5+ messages)
Ada 2012: In-out parameters for functions
2013-05-07 11:52 UTC (21+ messages)
Accessing finalized values
2013-05-07 0:51 UTC (6+ messages)
Extended Exceptions and other tweaks
2013-05-07 0:39 UTC (11+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox