The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ml with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1986-1988 (57) 1989 (138) 1990 (54) 1991 (133) 1992 (72) 1993-1994 (16) 1995-1997 (16) 1998-2001 (17) 2002-2005 (21) 2006-2007 (30) 2008 (16) 2009 (3)
Publication types (Num. hits)
article(8) inproceedings(559) proceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 357 occurrences of 153 keywords

Results
Found 573 publication records. Showing 573 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
2Andrew Kennedy Types for units-of-measure in f#: invited talk. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dimension types, polymorphic type inference, ml
2Jérôme Vouillon Lwt: a cooperative thread library. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF networking, concurrency, programming, implementation, ml, thread, monad, objective caml
2Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao Status report: the manticore project. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ML, concurrent languages, data-parallel languages
2Didier Rémy MLF for everyone (users, implementers, and designers). Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
2Vesa A. J. Karvonen Generics for the working ML'er. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type-indexed values, ML, generic programming
2Tyng-Ruey Chuang, Max Schäfer Status report: layered streaming XML processing with modules. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modular software, streaming XML processing, XML, functional programming, ML, modules
2John H. Reppy Type-sensitive control-flow analysis. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ML, control-flow analysis
2Tyng-Ruey Chuang Generic Validation of Structural Content with Parametric Modules. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF modules and interfaces, XML, XML, validation, functional programming, ML, ML, fixed points
2Catherine Dubois, François Rouaix, Pierre Weis Generic Polymorphism. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF debugging, genericity, dynamics, ML, ML, polymorphism, functional language, type checking, Caml, ad-hoc polymorphism
1Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. Search on Bibsonomy CSF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multiparty sessions, cryptography, type systems, ML
1Vincent Balat, Jérôme Vouillon, Boris Yakobowski Experience report: ocsigen, a web programming framework. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML
1Yuan-Gen Wang, Yanqiang Lei A Robust Content in DCT Domain for Image Authentication. Search on Bibsonomy IIH-MSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF GGD, DCT, ML, Image Authentication
1Pascal Cuoq, Damien Doligez Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
1Jean-Christophe Filliâtre A functional implementation of the garsia--wachs algorithm: (functional pearl). Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF garsia-wachs algorithm, optimum binary trees, applicative programming, zipper
1Matthias Blume, Mike Rainey, John H. Reppy Calling variadic functions from a strongly-typed language. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilers, interpreters, foreign-function interfaces
1Eijiro Sumii (eds.) Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008 Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luc Maranget Compiling pattern matching to good decision trees. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF match compilers, heuristics, decision trees
1Benjamin Canou, Vincent Balat, Emmanuel Chailloux O'browser: objective caml on browsers. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual machine, javascript, web browsers, objective caml, document object model
1Sam Lindley Many holes in hindley-milner. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF indexed type, multi-holed context, phantom type, value restriction, dependent type
1Johan Nordlander, Magnus Carlsson, Andy Gill Unrestricted pure call-by-value recursion. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF value recursion, semantics, implementation, combinator libraries, call-by-value
1Alec Heller, Jesse A. Tov Caml-Shcaml: an ocaml library for unix shell programming. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF shell programming, domain-specific languages, unix, types, objective caml
1Wen Pan, Zhanjun Jiang, Zhengfeng Du, Yan Wang 0027, Xiaohu You 0001 Analysis of a reduced-ML algorithm in BLAST. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ML, MIMO, BLAST
1Yaron Minsky Caml trading. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF functional programming, ML
1Jee-Hye Lee, Myung-Sun Baek, Hyoung-Kyu Song Enhanced detection technique for mimo-ofdm with dfe in hybrid stbc. Search on Bibsonomy MOBIWAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hybrid stbc, ml, mimo, v-blast, dfe
1Alley Stoughton A functional model-view-controller software architecture for command-oriented programs. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exene, user-interface, ml, model-view-controller, concurrent ml
1Didier Rémy, Boris Yakobowski From ML to MLF: graphic type constraints with efficient type inference. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
1Jean-Vincent Loddo, Luca Saiu Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GUI, virtual machine, emulation, OCaml, static typing, user mode linux
1Sylvain Conchon, Jean-Christophe Filliâtre A persistent union-find data structure. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal verification, persistence, union-find
1Jeremy Yallop Practical generic programming in OCaml. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generic programming, deriving, OCaml
1Claudio V. Russo, Derek Dreyer (eds.) Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007 Search on Bibsonomy ML The full citation details ... 2007 DBLP  BibTeX  RDF
1David Herman, Cormac Flanagan Status report: specifying javascript with ML. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF definitional interpreters, JavaScript, standard ML
1George Kuan, David MacQueen Efficient type inference using ranked type variables. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algorithm W, compilers, functional programming, type inference, type checking, standard ML
1Andreas Rossberg, Guido Tack, Leif Kornstaedt Status report: hot pickles, and how to serve them. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pickling, components, virtual machines, distributed programming, persistence, serialisation, marshalling
1Md. Rafiqul Islam 0001, Wanlei Zhou 0001, Morshed U. Chowdhury Dynamic Feature Selection for Spam Filtering Using Support Vector Machine. Search on Bibsonomy ACIS-ICIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SVM, Spam, ML, FP, DFS
1John H. Reppy, Yingqi Xiao Specialization of CML message-passing primitives. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, message passing, ML, concurrent languages
1Yitzhak Mandelbaum, Kathleen Fisher, David Walker 0001, Mary F. Fernández, Artem Gleyzer PADS/ML: a functional data description language. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF functional programming, domain-specific languages, ML, parsing, modules, dependent types, printing, data description languages
1Letian Ye, Zhihai Liu, Lingzhou Xue, Ping He, Zhi Geng A gradually locating method of indoor locating estimation based on likelihood. Search on Bibsonomy Mobility Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interpolation, ML, Euclidean distance, indoor locating
1Don Syme, Gregory Neverov, James Margetson Extensible pattern matching via a lightweight language extension. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF F#, functional programming, pattern matching, ML
1Don Syme Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF GPUs, functional programming, reflection, domain specific languages, meta-programming, database languages, LINQ
1David Swasey, Tom Murphy VII, Karl Crary, Robert Harper 0001 A separate compilation extension to standard ML. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF types, standard ml, separate compilation, incremental compilation
1Nick Benton, Xavier Leroy (eds.) Proceedings of the ACM-SIGPLAN Workshop on ML, ML 2005, Tallinn, Estonia, September 29, 2005 Search on Bibsonomy ML The full citation details ... 2006 DBLP  BibTeX  RDF
1Benjamin S. Lerner, Dan Grossman, Craig Chambers Seminal: searching for ML type-error messages. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF seminal, type-inference, type-checking, objective Caml, error messages
1Vincent Balat Ocsigen: typing web interaction with objective Caml. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF continuations, web programming, objective Caml
1Stephen Weeks Whole-program compilation in MLton. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tom Murphy VII ML grid programming with ConCert. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF grid computing, compilers, distributed computing, functional programming, certified code
1Jean-Christophe Filliâtre, Sylvain Conchon Type-safe modular hash-consing. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hash-consing, data structures, sharing
1John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa Type-safe distributed programming for OCaml. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HashCaml, type-safe marshalling, objective Caml
1Andrew Kennedy, François Pottier (eds.) Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006 Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Filliâtre Backtracking iterators. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF iteration, backtracking, persistent data structures
1Chung-Wen Yu, Hsi-Pin Ma A low complexity scalable MIMO detector. Search on Bibsonomy IWCMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF OSIC, scalable, ML, MIMO, detector
1Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno A polymorphic modal type system for lisp-like multi-staged languages. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
1Don Syme Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mark R. Shinwell Fresh O'Caml: Nominal Abstract Syntax for the Masses. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthew Fluet, Riccardo Pucella Practical Datatype Specializations with Phantom Types and Recursion Schemes. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper 0001, Kanat Tangwongsan A Library for Self-Adjusting Computation. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Kenny Zhuo Ming Lu A Type-Safe Embedding of XDuce into ML. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Guido Tack, Leif Kornstaedt, Gert Smolka Generic Pickling and Minimization. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nick Benton, Xavier Leroy Preface. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1François Pottier An Overview of Calphaml. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Norman Ramsey, João Dias An Applicative Control-Flow Graph Based on Huet's Zipper. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Norman Ramsey ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1François Pottier, Yann Régis-Gianas Towards Efficient, Typed LR Parsers. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Leucker, Thomas Noll 0001, Perdita Stevens, Michael Weber 0002 Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Language adequacy, Haskell, ML, Verification tools, Functional programming languages
1Hatice Köse, H. Levent Akin A Fuzzy Touch to R-MCL Localization Algorithm. Search on Bibsonomy RoboCup The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MCL, Fuzzy logic, ML, Robot soccer, Global localization
1Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis Acute: high-level programming language design for distributed computation. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling
1Hatice Köse, H. Levent Akin Robots from Nowhere. Search on Bibsonomy RoboCup The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MCL, ML, robot soccer, Global localization
1Tyng-Ruey Chuang, Jan-Li Lin On modular transformation of structural content. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2004 DBLP  DOI  BibTeX  RDF bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules
1Hans-Wolfgang Loidl, Fernando Rubio 0001, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder Comparing Parallel Functional Languages: Programming and Performance. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism
1Didier Le Botlan, Didier Rémy MLF: raising ML to the power of system F. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F
1James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough Global abstraction-safe marshalling with hash types. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling
1David B. MacQueen Should ML be Object-Oriented? Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Object-oriented programming, Functional programming, Inheritance, ML, Polymorphism, Modules, Subtypes
1Atsushi Ohori, Kiyoshi Yamatodani An interoperable calculus for external object access. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF record polymorphism, Java, interoperability, ML, type inference, object-oriented language
1Bernd Grobauer Cost Recurrences for DML Programs. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ML
1Fabrice Le Fessant, Luc Maranget Optimizing Pattern Matching. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ML
1Steven E. Ganz, Amr Sabry, Walid Taha Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ML
1Nevin Heintze, Olivier Tardieu Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF C, ML
1Xavier Leroy, François Pessaux Type-based analysis of uncaught exceptions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml
1Hongwei Xi, Frank Pfenning Dependent Types in Practical Programming. Search on Bibsonomy POPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ML
1François Pessaux, Xavier Leroy Type-Based Analysis of Uncaught Exceptions. Search on Bibsonomy POPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ML
1Kathleen Fisher, John H. Reppy The Design of a Class Mechanism for Moby. Search on Bibsonomy PLDI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ML
1Benjamin C. Pierce, David N. Turner Local Type Inference. Search on Bibsonomy POPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach Bridging the Gulf: A Common Intermediate Language for ML and Haskell. Search on Bibsonomy POPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Haskell, ML
1Yasuhiko Minamide, Jacques Garrigue On the Runtime Complexity of Type-Directed Unboxing. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Bruce J. McAdam Type Errors Confuse the Programmer (Poster Abstract). Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Richard B. Kieburtz Taming Effects with Monadic Typing. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach Building Program Optimizers with Rewriting Strategies. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Philip Wickline, Peter Lee 0001, Frank Pfenning Run-time Code Generation and Modal-ML. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Matthew Flatt, Matthias Felleisen Units: Cool Modules for HOT Languages. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML, SCHEME
1François Bourdoncle, Stephan Merz Type-Checking Higher-Order Polymorphic Multi-Methods. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1George C. Necula Proof-Carrying Code. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1C.-H. Luke Ong, Charles A. Stewart A Curry-Howard Foundation for Functional Computation with Control. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Mark P. Jones First-class Polymorphism with Type Inference. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Benjamin C. Pierce, Davide Sangiorgi Behavioral Equivalence in the Polymorphic Pi-calculus. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Alain Deutsch On the Complexity of Escape Analysis. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Didier Rémy, Jerome Vouillon Objective ML: A Simple Object-Oriented Extension of ML. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Walid Taha, Tim Sheard Multi-Stage Programming. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Manuel Fähndrich, John Boyland Statically Checkable Pattern Abstractions. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson Systematic Realisation of Control Flow Analyses for CML. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML, Concurrent C
1Bruce J. McAdam BigTypes in ML. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Maria-Virginia Aponte, Roberto Di Cosmo Type Isomorphisms for Module Signatures. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF typing and structuring systems, retrieval of functions in function libraries, programming environments, ML, module systems
Displaying result #1 - #100 of 573 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license