[mercury-users] literature polymorphic recursive calls

Tom Schrijvers Tom.Schrijvers at cs.kuleuven.ac.be
Mon Jun 20 19:32:16 AEST 2005


I am looking for literature about a particular aspect of Mercury's type
inference, namely the way it deals with polymorphic recursive calls. Is
there some documentation about the iteration limit and what recursive
calls lead to infinite types? Are there any new or upcoming developments
on this account?

Thank you very much,


mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list