28 les relacions: Alemanya, Algorisme, ATS (llenguatge de programació), Avaluació tardana, Comprovació de patrons, Edimburg, F Sharp, França, Göteborg, Haskell, Inferència, Llenguatge de programació, LML, Microsoft, ML Estàndard, OCaml, Paradigma, Paradigma de programació, Programació funcional, Robin Milner, Saarland, Semàntica formal, Suècia, Subrutina, Tipus abstracte de dades, Universitat de Boston, Universitat Tecnològica de Chalmers, 1970.
Alemanya
Alemanya (en alemany Deutschland), anomenat oficialment República Federal d'Alemanya (en alemany Bundesrepublik Deutschland), és un estat de l'Europa central que forma part de la Unió Europea.
Nou!!: ML і Alemanya · Veure més »
Algorisme
nombres primers Un algorisme (o, alternativament, algoritme) és un conjunt finit d'instruccions o passos que serveixen per a executar una tasca o resoldre un problema.
Nou!!: ML і Algorisme · Veure més »
ATS (llenguatge de programació)
ATS (Applied Type System) és un llenguatge de programació dissenyat per Hongwei Xi a la Universitat de Boston que incorpora "Tipus dependents de valors" i altres sistemes de tipus avançats així com construccions per assegurar la correcta finalització de les funcions entre les quals hi ha anotacions de mètrica i un sistema de proposicions i proves (predicats).
Nou!!: ML і ATS (llenguatge de programació) · Veure més »
Avaluació tardana
En programació d'ordinadors, avaluació tardana (en anglès: Lazy evaluation) és la tècnica de retardar un càlcul fins que se'n requereixi el resultat.
Nou!!: ML і Avaluació tardana · Veure més »
Comprovació de patrons
En tecnologies de la informació, l'encaix o comprovació de patrons (en anglès: pattern matching) és l'operació de comprovar si una dada pot ser descomposta a partir de les operacions especificades en una expressió patró, obtenint-ne els components constitutius i assignant-los a les variables especificades al patró, cas de patrons d'expressions algebraiques o obtingudes com a resultat en cas d'expressions regulars en forma de llista de seccions delimitades per parèntesis.
Nou!!: ML і Comprovació de patrons · Veure més »
Edimburg
Edimburg (Edinburgh en anglès; Dùn Èideann, en gaèlic escocès) és la capital d'Escòcia, i la segona ciutat en població del país després de Glasgow.
Nou!!: ML і Edimburg · Veure més »
F Sharp
F# o F Sostingut, en anglès F Sharp és un llenguatge de programació multi-paradigma però amb èmfasi en la programació funcional, per a l'entorn.NET de Microsoft basat inicialment en un subconjunt de OCaml amb el qual tenia a la versió 1.0 certa compatibilitat.
Nou!!: ML і F Sharp · Veure més »
França
França, oficialment la República Francesa, és un estat constituït per una metròpoli i per territoris d'ultramar.
Nou!!: ML і França · Veure més »
Göteborg
Götaplatsen Göteborg és la segona ciutat més gran de Suècia i la cinquena dels països nòrdics.
Nou!!: ML і Göteborg · Veure més »
Haskell
Haskell és un llenguatge de programació funcional estandarditzat de semàntica no estricta i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry.
Nou!!: ML і Haskell · Veure més »
Inferència
La inferència és l'acte o el procés en què hom deriva una conclusió a partir d'unes premisses.
Nou!!: ML і Inferència · Veure més »
Llenguatge de programació
Codi font d'un programa escrit en llenguatge BASIC. Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador.
Nou!!: ML і Llenguatge de programació · Veure més »
LML
* Liceu Michel Lucius, centre d'educació secundària de Luxemburg.
Nou!!: ML і LML · Veure més »
Microsoft
Microsoft és una empresa multinacional d'informàtica que va ser fundada el 1975 als Estats Units, on encara hi té la seu principal.
Nou!!: ML і Microsoft · Veure més »
ML Estàndard
LML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i inferència de tipus.
Nou!!: ML і ML Estàndard · Veure més »
OCaml
OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació Caml, acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light.
Nou!!: ML і OCaml · Veure més »
Paradigma
El terme paradigma significa «exemple» o «model».
Nou!!: ML і Paradigma · Veure més »
Paradigma de programació
Un paradigma és una forma de representar i manipular el coneixement.
Nou!!: ML і Paradigma de programació · Veure més »
Programació funcional
En informàtica, la programació funcional és un paradigma de programació que tracta les computacions com un procés d'aplicació de funcions, evitant les dades mudables amb els seus canvis d'estat.
Nou!!: ML і Programació funcional · Veure més »
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing.
Nou!!: ML і Robin Milner · Veure més »
Saarland
Saarland - - és un dels 16 estats federats que formen Alemanya.
Nou!!: ML і Saarland · Veure més »
Semàntica formal
La semàntica formal és l'estudi de les interpretacions dels llenguatges formals.
Nou!!: ML і Semàntica formal · Veure més »
Suècia
Suècia (Sverige en suec), oficialment el Regne de Suècia (Konungariket Sverige en suec), és un país nòrdic de la península escandinava a l'Europa septentrional.
Nou!!: ML і Suècia · Veure més »
Subrutina
Diagrama del funcionament d'una subrutina. En computació, una subrutina o subprograma, com a idea general, es presenta com un subalgorisme que forma part de l'algorisme principal, el qual permet resoldre una tasca específica.
Nou!!: ML і Subrutina · Veure més »
Tipus abstracte de dades
En informàtica, un tipus abstracte de dades (TAD) és una especificació d'un conjunt de dades i d'un conjunt d'operacions que poden ser executades sobre el conjunt de dades.
Nou!!: ML і Tipus abstracte de dades · Veure més »
Universitat de Boston
La Universitat de Boston (Boston University; BU per les seves sigles en anglès) és una universitat privada localitzada a Boston, Massachusetts, (Estats Units).
Nou!!: ML і Universitat de Boston · Veure més »
Universitat Tecnològica de Chalmers
La Universitat Tecnològica de Chalmers (en suec, Chalmers tekniska högskola; abreujat Chalmers) és una universitat privada sueca situada a Göteborg.
Nou!!: ML і Universitat Tecnològica de Chalmers · Veure més »
1970
1970 (MCMLXX) fon un any començat en dijous.
Nou!!: ML і 1970 · Veure més »