Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Weaving a web

From MaRDI portal
Publication:3150211
Jump to:navigation, search

DOI10.1017/S0956796801004129zbMath1037.68520WikidataQ29395289 ScholiaQ29395289MaRDI QIDQ3150211

Ralf Hinze, Johan Jeuring

Publication date: 2001

Published in: Journal of Functional Programming (Search for Journal in Brave)



Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)


Related Items (3)

A static simulation of dynamic delimited control ⋮ A Generic Functional Representation of Sorted Trees Supporting Attribution ⋮ Types as graphs: Continuations in type logical grammar







This page was built for publication: Weaving a web

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3150211&oldid=16431683"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 4 February 2024, at 07:04.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki