Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LANGAGE ML")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 78

  • Page / 4
Export

Selection :

  • and

Lazy pattern matching in the ML languageLAVILLE, Alain.Rapports de recherche - INRIA. 1987, Vol 664, issn 0249-6399, 18 p.Report

ML-SEM: UN MACROLINGUAGGIO PER UNA PROGRAMMAZIONE ORIENTATA ALLA TELEFONIA = ML-SEM: UN MACROLANGAGE POUR UNE PROGRAMMATION ORIENTEE SUR LE TELEPHONEGASSINO E; SARACCO R; VILLONE S et al.1979; C.S.E.L.T., RAPP. TEC.; ITA; DA. 1979; VOL. 7; NO 1; PP. 71-78; BIBL. 5 REF.Article

A type-based termination criterion for dependently-typed higher-order rewrite systemsBLANQUI, Frédéric.Lecture notes in computer science. 2004, pp 24-39, issn 0302-9743, isbn 3-540-22153-0, 16 p.Conference Paper

Effective strictness analysis with horn constraintsGLYNN, Kevin; STUCKEY, Peter J; SULZMANN, Martin et al.Lecture notes in computer science. 2001, pp 73-92, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Sound and complete elimination of singleton kindsCRARY, Karl.Lecture notes in computer science. 2001, pp 1-25, issn 0302-9743, isbn 3-540-42196-3Conference Paper

EDINBURGH LCF. A MECHANISED LOGIC OF COMPUTATIONGORDON MJ; MILNER AJ; WADSWORTH CP et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 78; 167 P.; BIBL. 5 P.Serial Issue

A GENERAL-PURPOSE MACRO PROCESSOR AS A POOR MAN'S COMPILER-COMPILER.TANENBAUM AS.1976; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1976; VOL. 2; NO 2; PP. 121-125; BIBL. 11 REF.Article

Program representation size in an intermediate language with intersection and union typesDIMOCK, Allyn; WESTMACOTT, Ian; MULLER, Robert et al.Lecture notes in computer science. 2001, pp 27-52, issn 0302-9743, isbn 3-540-42196-3Conference Paper

Prototyping application models in Concurrent MLJOHNSTON, David; FLEURY, Martin; DOWNTON, Andy et al.Lecture notes in computer science. 2003, pp 750-759, issn 0302-9743, isbn 3-540-40788-X, 10 p.Conference Paper

MACROPROGRAM FOR EXTENDING HIGH-LEVEL LANGUAGES.NADRCHAL J.1977; INFORM. PROCESSG MACH.; CZECHOSL.; DA. 1977; VOL. 20; PP. 25-32; ABS. TCHEQUE RUSSE; BIBL. 6 REF.Article

System description : CYNTHIAWHITTLE, J; BUNDY, A; BOULTON, R et al.Lecture notes in computer science. 1999, pp 388-392, issn 0302-9743, isbn 3-540-66222-7Conference Paper

An experiment in type inference and verification by abstract interpretationGORI, Roberta; LEVI, Giorgio.Lecture notes in computer science. 2002, pp 225-239, issn 0302-9743, isbn 3-540-43631-6Conference Paper

The essence of principal typingsWELLS, J. B.Lecture notes in computer science. 2002, pp 913-925, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper

Generic polymorphism in MLFURUSE, J.Journées francophones des langages applicatifs. 2001, pp 75-96, isbn 2-7261-1180-7Conference Paper

A portable implementation for Objective Caml flightCHAILLOUX, Emmanuel; FOISY, Christian.Parallel processing letters. 2003, Vol 13, Num 3, pp 425-436, issn 0129-6264, 12 p.Article

Encoding types in ML-like languagesZHE YANG.Theoretical computer science. 2004, Vol 315, Num 1, pp 151-190, issn 0304-3975, 40 p.Conference Paper

A software composition language and its implementationBIRNGRUBER, Dietrich.Lecture notes in computer science. 2001, pp 519-529, issn 0302-9743, isbn 3-540-43075-XConference Paper

Relaxing the value restrictionGARRIGUE, Jacques.Lecture notes in computer science. 2004, pp 196-213, issn 0302-9743, isbn 3-540-21402-X, 18 p.Conference Paper

Formal proofs of functional BSP programsGAVA, Frédéric.Parallel processing letters. 2003, Vol 13, Num 3, pp 365-376, issn 0129-6264, 12 p.Article

Operational semantics and program equivalencePITTS, Andrew M.Lecture notes in computer science. 2002, pp 378-412, issn 0302-9743, isbn 3-540-44044-5, 35 p.Conference Paper

Using, understanding, and unraveling the OCaml language: From practice to theory and vice versaREMY, Didier.Lecture notes in computer science. 2002, pp 413-536, issn 0302-9743, isbn 3-540-44044-5, 124 p.Conference Paper

The join calculus: A language for distributed mobile programmingFOURNET, Cédric; GONTHIER, Georges.Lecture notes in computer science. 2002, pp 268-332, issn 0302-9743, isbn 3-540-44044-5, 65 p.Conference Paper

A retrospective on region-based memory managementTOFTE, Mads; BIRKEDAL, Lars; ELSMAN, Martin et al.Higher-order and symbolic computation. 2004, Vol 17, Num 3, pp 245-265, issn 1388-3690, 21 p.Article

Region-based memory management for a dynamically-typed languageNAGATA, Akihito; KOBAYASHI, Naoki; YONEZAWA, Akinori et al.Lecture notes in computer science. 2004, pp 229-245, issn 0302-9743, isbn 3-540-23724-0, 17 p.Conference Paper

Memoization in type-directed partial evaluationBALAT, Vincent; DANVY, Olivier.Lecture notes in computer science. 2002, pp 78-92, issn 0302-9743, isbn 3-540-44284-7, 15 p.Conference Paper

  • Page / 4