type  title  author  last post 
Forum topic  Limits of Computability  hbrandl  20200924 13:12 
Forum topic  Programming in Lambda Calculus  hbrandl  20200627 02:58 
Forum topic  A pretty printing algorithm  hbrandl  20190319 16:41 
Forum topic  Lambda calculus  hbrandl  20180810 01:49 
Forum topic  How to name the inverse functions of constructors  hbrandl  20170703 00:16 
Forum topic  SW verification continues  hbrandl  20170516 21:54 
Forum topic  Compile and Statically Verify  hbrandl  20161007 07:12 
Forum topic  Albatross has grown two mighty wings: Induction and Recursion  hbrandl  20150809 00:55 
Forum topic  More information about Albatross  hbrandl  20150529 13:47 
Forum topic  Albatross formerly called Modern Eiffel is available  hbrandl  20150508 19:57 
Forum topic  Introduction to processes (Tony Hoare's CSP processes)  hbrandl  20140429 21:48 
Forum topic  Primitive recursive functions and fixpoints  hbrandl  20130603 16:52 
Forum topic  Mutable Structures: Arrays  hbrandl  20130508 10:44 
Forum topic  Endofunctions, cycles and chains  hbrandl  20130429 17:36 
Forum topic  Fixpoint theory, induction and recursion  hbrandl  20130308 04:14 
Forum topic  Binary relations, endorelations and transitive closures  hbrandl  20121018 14:24 
Forum topic  Proof formats  hbrandl  20120927 14:47 
Forum topic  The verified heap sort algorithm  hbrandl  20120731 19:43 
Forum topic  Lattices  Partial orders with infimum and supremum  hbrandl  20120717 15:56 
Forum topic  The verified insertion sort algorithm  hbrandl  20120701 20:53 
Forum topic  Null, bottom, etc.?  oconnor0  20120625 23:41 
Forum topic  Framing: The implementation side  hbrandl  20120620 20:17 
Forum topic  Abstraction wins: An approach to framing and mutability  hbrandl  20120613 03:58 
Forum topic  Order structure, an excercise in abstraction and multiple inheritance  hbrandl  20120531 01:24 
Forum topic  Proofs as programs  hbrandl  20120529 09:43 

Recent comments
7 weeks 2 days ago
7 weeks 2 days ago
7 weeks 2 days ago
29 weeks 3 days ago
33 weeks 5 days ago
35 weeks 2 days ago
35 weeks 2 days ago
38 weeks 19 hours ago
42 weeks 5 days ago
42 weeks 5 days ago