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