Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
super-recursive algorithms
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-07-25 (21:08)
From: Oliver Bandel <oliver@f...>
Subject: super-recursive algorithms

someone who is able to explain me them?
What are super-recursive algorithms?

How are they related to lazy programming?

The less I found about them seem to point in a direction,
that HvF has mentioned in his texts, where he wrote about
calculating a reality.

Are they endless calculations, and therefore related to lazy programming?

Thanks in Advance,