ISBN: 9786133155329 - dependent ml: functional programming language, ml programming language, alice (programming language) (3 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (3)

  • Nuevo (3)
Más información

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Omniscriptum Mär 2026, 2026

    6133155329 / 9786133155329

    • Tapa blanda
    • Impresión bajo demanda

    Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 136,00

    Envío por EUR 23,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 100 pp. Englisch.

  • Idioma: Inglés

    Editorial: Omniscriptum, 2026

    6133155329 / 9786133155329

    • Tapa blanda
    • Impresión bajo demanda

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 143,03

    Envío por EUR 35,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Dependent ML isan experimental functional programming language proposed by FrankPfenning and Hongwei Xi. Dependent ML extends ML by a restricted notionof dependent types: types may be dependent on static indices of typeNat. Dependent ML employs a constraint theorem prover to decide a strongequational theory over the index expressions. Dependent ML has beensuperseded by ATS and is no longer under active development.…

  • Idioma: Inglés

    Editorial: Omniscriptum Mär 2026, 2026

    6133155329 / 9786133155329

    • Tapa blanda
    • Impresión bajo demanda

    Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 136,00

    Envío por EUR 60,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Dependent ML isan experimental functional programming language proposed by FrankPfenning and Hongwei Xi. Dependent ML extends ML by a restricted notionof dependent types: types may be dependent on static indices of typeNat. Dependent ML employs a constraint theorem prover to decide a strongequational theory over the index expressions. Dependent ML has beensuperseded by ATS and is no longer under active development.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 100 pp. Englisch.…