Ross Angle

typetitleauthor sort iconlast post
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicLive programming in APX, an early peek Sean McDirmid2015-09-30 15:45
Forum topicImplementing the communication semantics of actors Andrew Moss2015-08-24 18:31
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-08-19 02:04
Forum topicLimitations of FRP? Sean McDirmid2015-08-04 08:28
Forum topicinline vs scatter/gather separate annotation Rys McCusker2015-08-04 04:33
Forum topicAggregations (e.g., sets) in Logic Programs Hewitt2015-08-03 00:08
Forum topic"Prep" in programming languages Hewitt2015-07-25 23:26
Forum topicDatabase programming language review davidb2015-07-23 00:44
Forum topicWhen are Actors appropriate? raould2015-07-21 16:25
Forum topicFixed points considered harmful Hewitt2015-07-21 06:16
Forum topicWho can make LtU2? raould2015-07-19 21:56
Forum topicRecursive Descent Parser Generators Alexander Morou2015-07-14 06:50
Forum topicStrengthening Process Calculi raould2015-07-06 12:07
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicFunctors are Type Refinement Systems adrieng2015-06-12 20:12
Forum topicTypes are fundamental to both logic and computation Hewitt2015-06-02 11:07
Forum topicType Theory Glossary naasking2015-05-09 12:14
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07
Forum topicSome notes on Rust, the language. John Nagle2015-02-09 07:25
Forum topicHow can middle school algebra help with domain specific languages? shahbaz2015-01-21 17:18
Forum topicFunction Readability & Understandability Keean Schupke2014-12-28 20:07
Forum topicIntegrating Dependent and Linear Types raould2014-12-22 20:26
Forum topicPaged topics raould2014-12-09 21:59