Lambda the Ultimate

type	title	author	last post
Forum topic	Lambda calculus	hbrandl	2018-08-10 01:49
Forum topic	How to name the inverse functions of constructors It depends on how you define by hbrandl This is really a great hint. by hbrandl Thanks for the details.In by hbrandl Sorry if I haven't expressed by hbrandl Re: Machine Numbers by hbrandl I am afraid I don't by hbrandl	hbrandl	2017-07-03 00:16
Forum topic	SW verification continues	hbrandl	2017-05-16 21:54
Forum topic	Compile and Statically Verify That is one of the goals. by hbrandl "Read" should work as well. by hbrandl See above. There is a link by hbrandl	hbrandl	2016-10-07 07:12
Forum topic	Albatross has grown two mighty wings: Induction and Recursion Your questions: by hbrandl	hbrandl	2015-08-09 00:55
Forum topic	More information about Albatross Classical logic inappropriate? by hbrandl I have just said that it is by hbrandl I have not the slightest by hbrandl I agree that the names pre- by hbrandl Now it seems that we are by hbrandl Deduction rule by hbrandl Sorry, I have used the by hbrandl I don't use any special by hbrandl Good point! As soon as we by hbrandl Thanks for the feedback. Let by hbrandl ...	hbrandl	2015-05-29 13:47
Forum topic	Albatross formerly called Modern Eiffel is available not is a unary operator. by hbrandl Uiih. I had not been aware by hbrandl What precedence would you propose for boolean negation? by hbrandl Why do you read "My personal by hbrandl Thanks for your interest in by hbrandl	hbrandl	2015-05-08 19:57
Forum topic	Introduction to processes (Tony Hoare's CSP processes) André, thanks for the hint by hbrandl The first rewritings you by hbrandl But x||y can be x|y or x||_y by hbrandl ACP: communication and interleaving by hbrandl You confirm that ACP has nondeterministic choice by hbrandl ACP: communication and interleaving by hbrandl ACP: communication and interleaving by hbrandl Scala/Eiffel, ACP/CSP by hbrandl	hbrandl	2014-04-29 21:48
Forum topic	Primitive recursive functions and fixpoints	hbrandl	2013-06-03 16:52
Forum topic	Mutable Structures: Arrays compile time and runtime information by hbrandl C arrays are not pointers but by hbrandl	hbrandl	2013-05-08 10:44
Forum topic	Endofunctions, cycles and chains Since the language has by hbrandl	hbrandl	2013-04-29 17:36
Forum topic	Fixpoint theory, induction and recursion Definition by hbrandl Eiffel dialect by hbrandl Controversy between functional and imperative programming style by hbrandl Kleene star by hbrandl	hbrandl	2013-03-08 04:14
Forum topic	Binary relations, endorelations and transitive closures	hbrandl	2012-10-18 14:24
Forum topic	Proof formats Linear logic within the language by hbrandl Linear logic by hbrandl Labels are already used in by hbrandl	hbrandl	2012-09-27 14:47
Forum topic	The verified heap sort algorithm	hbrandl	2012-07-31 19:43
Forum topic	Lattices - Partial orders with infimum and supremum I have found a paper with by hbrandl The link to the first paper by hbrandl It takes some time to build by hbrandl	hbrandl	2012-07-17 15:56
Forum topic	The verified insertion sort algorithm	hbrandl	2012-07-01 20:53
Forum topic	Null, bottom, etc.? It is not yet decided. But by hbrandl Thanks for the comment. No, by hbrandl Modern Eiffels type system has no void references by hbrandl	oconnor0	2012-06-25 23:41
Forum topic	Framing: The implementation side Since the language by hbrandl equals for equals and identicals for identicals by hbrandl derived frame contracts by hbrandl functions and procedures by hbrandl Scope, precise answer, ... by hbrandl	hbrandl	2012-06-20 20:17
Forum topic	Abstraction wins: An approach to framing and mutability derivable conditions by hbrandl It is all about framing by hbrandl Could you elaborate more on by hbrandl	hbrandl	2012-06-13 03:58
Forum topic	Order structure, an excercise in abstraction and multiple inheritance Impressive. I didn't know of by hbrandl	hbrandl	2012-05-31 01:24
Forum topic	Proofs as programs Computability by hbrandl This is my experience as by hbrandl And for people not capable of using coq? by hbrandl Computations and propositions (assertions) by hbrandl All programs and every business logic and GUI is the goal by hbrandl Paradoxes by hbrandl Natural deduction versus Hilbert style proofs by hbrandl	hbrandl	2012-05-29 09:43
Forum topic	Predicates, ghost predicates and higher order predicates	hbrandl	2012-05-17 19:27
Forum topic	Tuples, functions, ghost functions and higher order functions	hbrandl	2012-04-30 14:55
Forum topic	Inheritance and formal verification of software	hbrandl	2012-04-24 14:23
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation