André van Delft

type title author last post sort icon
Forum topicSome New Directions for ACP Research André van Delft 2015年06月30日 23:20
Forum topicAnnouncing Lang.NEXT 2014 - Registration is Free and Now Open Charles Torre 2014年06月04日 00:59
Forum topicIntroduction to processes (Tony Hoare's CSP processes) hbrandl 2014年04月29日 21:48
Forum topicComputation is not subsumed by deduction (contra claim by Kowalski) Hewitt 2013年12月23日 17:45
Forum topicCoroutines as a Basis for UI Programming Jason Priestley 2013年09月15日 00:40
Forum topicRequest for advice on a senior thesis Taymon A Beal 2013年08月26日 17:21
Forum topicFixpoint theory, induction and recursion hbrandl 2013年03月08日 04:14
Forum topicAnnouncing subscript-lang.org André van Delft 2013年01月07日 20:48
Forum topicAbolishing zeros Robbert van Dalen 2012年12月01日 04:39
Forum topicPresentation at the Berlin Compiler Meetup on programming with algebra André van Delft 2012年08月06日 10:58
Forum topicReferences about the importance of formalism in programming language design giuseppemag 2012年03月30日 05:42
Forum topic[Ask LTU] How to implement concurrent languages ? Ravi Mohan 2011年08月11日 14:29
Forum topicI've run out of programming languages to study Josh Griggs 2011年02月27日 03:20

AltStyle によって変換されたページ (->オリジナル) /