Programming Computable Functions: Difference between revisions

Revision as of 19:53, 22 March 2008

Revision as of 13:02, 28 May 2008

Line 14:

| journal = Information and Computation

| date= 2000

| pages = 409-470409–470

| volume = 163

| issue = 2

| iddoi = {{doi|10.1006/inco.2000.2930}}

}}

*{{ cite journal

| author = Hyland, J. M. E. and Ong, C.-H. L.

Line 24 ⟶ 23:

| journal = Information and Computation

| date= 2000

| pages = 285-408285–408

| volume = 163

| issue = 2

| iddoi = {{doi|10.1006/inco.2000.2917}}

}}

*{{ cite journal

| author = O'Hearn, P. W. and Riecke, J. G

Line 34 ⟶ 32:

| journal = Information and Computation

| date = 1995

| pages = 107-116107–116

| volume = 120

| issue = 1

| iddoi = {{doi|10.1006/inco.1995.1103}}

}}

*{{ cite journal

| author = Loader, R.

Line 44 ⟶ 41:

| journal = Theoretical Computer Science

| date= 2001

| pages = 341-364341–364

| volume = 266

| issue = 1-2

| iddoi = {{doi|10.1016/S0304-3975(00)00194-8}}

}}

*{{cite book

| author = Ong, C.-H. L.

Line 64 ⟶ 60:

| journal = Theoretical Computer Science

| date= 1977

| pages = 223-255223–255

| volume = 5

| iddoi = {{doi|10.1016/0304-3975(77)90044-5}}

}}

[[Category:Functional languages]]