Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn

Philip Wadler

Indice Philip Wadler

È noto per i suoi contributi alla progettazione del linguaggio di programmazione e alla teoria dei tipi. In particolare, ha contribuito alla teoria alla base della programmazione funzionale e all'uso delle monadi nella programmazione funzionale, alla progettazione del linguaggio puramente funzionale Haskell e al linguaggio di query dichiarativo XQuery.

Indice

  1. 21 relazioni: Bell Laboratories, Blockchain, George Orwell, Google Scholar, Haskell (linguaggio di programmazione), Indice H, Ingegneria informatica, Java (linguaggio di programmazione), Lucent Technologies, Master universitario, Nico Habermann, O'Reilly Media, Oxford, Programmazione funzionale, St Cross College, Università Carnegie Mellon, Università di Edimburgo, Università di Glasgow, Università di Stanford, XQuery, 2004.

Bell Laboratories

I Bell Laboratories (noti anche come Bell Labs, Bell, Laboratori Bell, in precedenza denominati AT&T Bell Laboratories e Bell Telephone Laboratories) sono un centro di ricerca e sviluppo, attualmente di proprietà di Nokia.

Vedere Philip Wadler e Bell Laboratories

Blockchain

La blockchain (in italiano: blocchi concatenati) è una struttura dati che consiste in elenchi crescenti di record, denominati "blocchi", collegati tra loro in modo sicuro utilizzando la crittografia.

Vedere Philip Wadler e Blockchain

George Orwell

Conosciuto in vita come giornalista e opinionista politico e culturale, oltreché come prolifico saggista ed attivista politico-sociale, Orwell è considerato uno dei maggiori prosatori in lingua inglese del XX secolo.

Vedere Philip Wadler e George Orwell

Google Scholar

Google Scholar è un motore di ricerca accessibile liberamente che tramite parole chiave specifiche consente di individuare testi della letteratura accademica come articoli sottoposti a revisione paritaria, tesi di laurea e dottorato, libri, prestampe, sommari, recensioni e rapporti tecnici di tutti i settori della ricerca scientifica e tecnologica.

Vedere Philip Wadler e Google Scholar

Haskell (linguaggio di programmazione)

Haskell è un linguaggio di programmazione puramente funzionale general-purpose creato da un apposito comitato alla fine degli anni ottanta principalmente per analizzare le caratteristiche dei linguaggi.

Vedere Philip Wadler e Haskell (linguaggio di programmazione)

Indice H

Lindice H, o indice di Hirsch (a volte, in inglese, H-index), è un criterio per quantificare la prolificità e l'impatto scientifico di un autore, basandosi sia sul numero delle pubblicazioni, sia sul numero di citazioni ricevute.

Vedere Philip Wadler e Indice H

Ingegneria informatica

Lingegneria informatica è un ramo dell'ingegneria dell'informazione, derivato in parte dall'ingegneria elettronica, che applica principi di quest'ultima e dell'informatica pura a processi di progettazione, realizzazione e gestione di sistemi e soluzioni per l'elaborazione dati, sia dal punto di vista hardware che dal punto di vista software.

Vedere Philip Wadler e Ingegneria informatica

Java (linguaggio di programmazione)

In informatica Java è un linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, che si appoggia sull'omonima piattaforma software di esecuzione, specificamente progettato per essere il più possibile indipendente dalla piattaforma hardware di esecuzione (tramite compilazione in bytecode prima e interpretazione poi da parte di una JVM) (sebbene questa caratteristica comporti prestazioni in termini di computazione inferiori a quelle di linguaggi direttamente compilati come C e C++ ovvero dunque perfettamente adattati alla piattaforma hardware).

Vedere Philip Wadler e Java (linguaggio di programmazione)

Lucent Technologies

Lucent Technologies era un'azienda statunitense produttrice di apparati per telecomunicazioni, con sede a Murray Hill, nel New Jersey. Fu costituita il 30 settembre del 1996 come controllata da AT&T Technologies, assorbendo le attività delle società del gruppo Western Electric e Bell Labs.

Vedere Philip Wadler e Lucent Technologies

Master universitario

Un master universitario è un titolo accademico rilasciato da un'università in seguito a uno specifico corso di studi.

Vedere Philip Wadler e Master universitario

Nico Habermann

Dopo essersi laureato in matematica e fisica nel 1953 e specializzato in matematica nel 1958, in entrambi i casi alla Vrije Universiteit, Habermann lavorò come insegnante di matematica per poi conseguire il Dottorato di ricerca nel 1967 in matematica applicata all'Università tecnica di Eindhoven sotto il tutorato di Edsger Dijkstra.

Vedere Philip Wadler e Nico Habermann

O'Reilly Media

O'Reilly Media (inizialmente O'Reilly & Associates) è una casa editrice statunitense fondata da Tim O'Reilly che pubblica libri e siti riguardanti l'informatica.

Vedere Philip Wadler e O'Reilly Media

Oxford

Oxford (AFI:; in inglese) è una città di abitanti (censimento 2021) del Regno Unito, capoluogo della contea dell'Oxfordshire in Inghilterra.

Vedere Philip Wadler e Oxford

Programmazione funzionale

In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.

Vedere Philip Wadler e Programmazione funzionale

St Cross College

Il St Cross College è uno dei collegi costituenti l'Università di Oxford. Fondato nel 1965, è riservato ai soli graduate students e fu creato per permettere di aumentare i posti disponibili all'università per gli studenti post laurea.

Vedere Philip Wadler e St Cross College

Università Carnegie Mellon

L'Università Carnegie Mellon (in inglese Carnegie Mellon University) è un'università privata di Pittsburgh, in Pennsylvania (Stati Uniti d'America).

Vedere Philip Wadler e Università Carnegie Mellon

Università di Edimburgo

L'Università di Edimburgo (The University of Edinburgh in inglese) è stata fondata nel 1582. L'istituzione è fra le più antiche università della Scozia ed è considerata una delle più prestigiose al mondo.

Vedere Philip Wadler e Università di Edimburgo

Università di Glasgow

L'Università di Glasgow (in inglese: University of Glasgow, in gaelico scozzese: Oilthigh Ghlaschu) è un'università pubblica britannica fondata nel 1451.

Vedere Philip Wadler e Università di Glasgow

Università di Stanford

L'Università di Stanford (nome ufficiale in inglese: Leland Stanford Junior University; comunemente nota come Stanford University) è un'università privata degli Stati Uniti d'America situata in California, nella contea di Santa Clara, a circa sessanta chilometri a sud di San Francisco e adiacente alla città di Palo Alto, estendendosi di fatto nel cuore della Silicon Valley.

Vedere Philip Wadler e Università di Stanford

XQuery

In informatica XQuery (abbreviazione per XML Query Language) è un linguaggio di programmazione funzionale, dichiarativo, a tipizzazione statica e Turing-completo, specificato dal W3C e destinato ad interrogare documenti e basi di dati XML.

Vedere Philip Wadler e XQuery

2004

È stato proclamato anno internazionale del riso.

Vedere Philip Wadler e 2004