MathScheme: Project Description (Q5200128)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 5934457

Language	Label	Description	Also known as
English	MathScheme: Project Description	scientific article; zbMATH DE number 5934457

Statements

scholarly article

0 references

MathScheme: Project Description (English)

0 references

Jacques Carette

0 references

William M. Farmer

0 references

Russell O'Connor

0 references

Lecture Notes in Computer Science

0 references

publication date

29 July 2011

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-22673-1_23

0 references

High-Level Theories

0 references

Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

0 references

Biform Theories in Chiron

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-22673-1_23

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

0 references

DBLP publication ID

conf/mkm/CaretteFO11

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5200128

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5200128&oldid=37910935"