Verfügbarkeit: Qualified types

Qualified types: theory and practice

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jones, Mark P. (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Oxford Oxford Univ. Computing Lab. Programming Research Group 1992
Ausgabe:	With corr.
Schlagworte:	Programmiersprache Funktionale Programmierung Typentheorie Funktionale Programmiersprache Programmiersystem Hochschulschrift
Beschreibung:	Zugl.: Oxford Univ., Diss., 1992
Beschreibung:	VIII, 176 S.

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV009534468
003	DE-604
005	00000000000000.0
007	t
008	940311s1992 m\|\|\| 00\|\|\| und d
035			\|a (OCoLC)633344054
035			\|a (DE-599)BVBBV009534468
040			\|a DE-604 \|b ger \|e rakddb
041			\|a und
049			\|a DE-91G
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 455d \|2 stub
084			\|a DAT 373d \|2 stub
088			\|a PRG 106
100	1		\|a Jones, Mark P. \|e Verfasser \|4 aut
245	1	0	\|a Qualified types \|b theory and practice \|c by Mark Philip Jones
246	1	3	\|a PRG 106
250			\|a With corr.
264		1	\|a Oxford \|b Oxford Univ. Computing Lab. Programming Research Group \|c 1992
300			\|a VIII, 176 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Zugl.: Oxford Univ., Diss., 1992
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Funktionale Programmierung \|0 (DE-588)4198740-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Typentheorie \|0 (DE-588)4121795-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Funktionale Programmiersprache \|0 (DE-588)4129948-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersystem \|0 (DE-588)4047410-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	1	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Funktionale Programmierung \|0 (DE-588)4198740-8 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Funktionale Programmiersprache \|0 (DE-588)4129948-6 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Programmiersystem \|0 (DE-588)4047410-0 \|D s
689	3		\|8 3\p \|5 DE-604
999			\|a oai:aleph.bib-bvb.de:BVB01-006296185
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804123872226705408
any_adam_object
author	Jones, Mark P.
author_facet	Jones, Mark P.
author_role	aut
author_sort	Jones, Mark P.
author_variant	m p j mp mpj
building	Verbundindex
bvnumber	BV009534468
classification_rvk	ST 230
classification_tum	DAT 455d DAT 373d
ctrlnum	(OCoLC)633344054 (DE-599)BVBBV009534468
discipline	Informatik
edition	With corr.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02013nam a2200541 c 4500</leader><controlfield tag="001">BV009534468</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940311s1992 m\|\|\| 00\|\|\| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633344054</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009534468</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 455d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 373d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">PRG 106</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jones, Mark P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Qualified types</subfield><subfield code="b">theory and practice</subfield><subfield code="c">by Mark Philip Jones</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">PRG 106</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">With corr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford Univ. Computing Lab. Programming Research Group</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 176 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Oxford Univ., Diss., 1992</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersystem</subfield><subfield code="0">(DE-588)4047410-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmiersystem</subfield><subfield code="0">(DE-588)4047410-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006296185</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV009534468
illustrated	Not Illustrated
indexdate	2024-07-09T17:36:40Z
institution	BVB
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006296185
oclc_num	633344054
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	VIII, 176 S.
publishDate	1992
publishDateSearch	1992
publishDateSort	1992
publisher	Oxford Univ. Computing Lab. Programming Research Group
record_format	marc
spelling	Jones, Mark P. Verfasser aut Qualified types theory and practice by Mark Philip Jones PRG 106 With corr. Oxford Oxford Univ. Computing Lab. Programming Research Group 1992 VIII, 176 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Oxford Univ., Diss., 1992 Programmiersprache (DE-588)4047409-4 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Programmiersystem (DE-588)4047410-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Programmiersprache (DE-588)4047409-4 s Typentheorie (DE-588)4121795-0 s DE-604 Funktionale Programmierung (DE-588)4198740-8 s 1\p DE-604 Funktionale Programmiersprache (DE-588)4129948-6 s 2\p DE-604 Programmiersystem (DE-588)4047410-0 s 3\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Jones, Mark P. Qualified types theory and practice Programmiersprache (DE-588)4047409-4 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Typentheorie (DE-588)4121795-0 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Programmiersystem (DE-588)4047410-0 gnd
subject_GND	(DE-588)4047409-4 (DE-588)4198740-8 (DE-588)4121795-0 (DE-588)4129948-6 (DE-588)4047410-0 (DE-588)4113937-9
title	Qualified types theory and practice
title_alt	PRG 106
title_auth	Qualified types theory and practice
title_exact_search	Qualified types theory and practice
title_full	Qualified types theory and practice by Mark Philip Jones
title_fullStr	Qualified types theory and practice by Mark Philip Jones
title_full_unstemmed	Qualified types theory and practice by Mark Philip Jones
title_short	Qualified types
title_sort	qualified types theory and practice
title_sub	theory and practice
topic	Programmiersprache (DE-588)4047409-4 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Typentheorie (DE-588)4121795-0 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Programmiersystem (DE-588)4047410-0 gnd
topic_facet	Programmiersprache Funktionale Programmierung Typentheorie Funktionale Programmiersprache Programmiersystem Hochschulschrift
work_keys_str_mv	AT jonesmarkp qualifiedtypestheoryandpractice AT jonesmarkp prg106

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge