André van Delft | Lambda the Ultimate

André van Delft

view
track

type	title	author	last post
Forum topic	Some New Directions for ACP Research Models of Computation: Automata and Processes by André van Delft I mean data structures by André van Delft	André van Delft	2015-06-30 23:20
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open Scala... by André van Delft	Charles Torre	2014-06-04 00:59
Forum topic	Introduction to processes (Tony Hoare's CSP processes) It is not that bad by André van Delft Hiding in ACP by André van Delft The left merge operator allows for communication by André van Delft ACP Communication operator by André van Delft Start from Wikipedia by André van Delft Inventing internal events? by André van Delft I never understood by André van Delft ACP parallelism is communication & interleaving by André van Delft ACP-style Communication is OK by André van Delft Syntax and ACP/CSP by André van Delft ...	hbrandl	2014-04-29 21:48
Forum topic	Computation is not subsumed by deduction (contra claim by Kowalski) Shouldn't that be:A message by André van Delft Message passing... by André van Delft Alan Kay on objects and logic by André van Delft	Hewitt	2013-12-23 17:45
Forum topic	Coroutines as a Basis for UI Programming Process Algebra based GUI specification by André van Delft	Jason Priestley	2013-09-15 00:40
Forum topic	Request for advice on a senior thesis Another secondment by André van Delft	Taymon A Beal	2013-08-26 17:21
Forum topic	Fixpoint theory, induction and recursion Indeed by André van Delft Âµ calculus, algebra and projective limits by André van Delft	hbrandl	2013-03-08 04:14
Forum topic	Announcing subscript-lang.org	André van Delft	2013-01-07 20:48
Forum topic	Abolishing zeros Commutative composition... by André van Delft Normal meadows are not skew by André van Delft Division by 0 is possible in "meadows" by André van Delft	Robbert van Dalen	2012-12-01 04:39
Forum topic	Presentation at the Berlin Compiler Meetup on programming with algebra	André van Delft	2012-08-06 10:58
Forum topic	References about the importance of formalism in programming language design I recommend this paper: by André van Delft	giuseppemag	2012-03-30 05:42
Forum topic	[Ask LTU] How to implement concurrent languages ? Process Algebra based concurrency by André van Delft	Ravi Mohan	2011-08-11 14:29
Forum topic	I've run out of programming languages to study A few more by André van Delft	Josh Griggs	2011-02-27 03:20
next page last page