Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 | Andrew Kennedy |
Types for units-of-measure in f#: invited talk. |
ML |
2008 |
DBLP DOI BibTeX RDF |
dimension types, polymorphic type inference, ml |
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 | Jérôme Vouillon |
Lwt: a cooperative thread library. |
ML |
2008 |
DBLP DOI BibTeX RDF |
networking, concurrency, programming, implementation, ml, thread, monad, objective caml |
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 | 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 | 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 |
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 | 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 |
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 | Vesa A. J. Karvonen |
Generics for the working ML'er. |
ML |
2007 |
DBLP DOI BibTeX RDF |
type-indexed values, ML, generic programming |
1 | 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 |
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 | John H. Reppy |
Type-sensitive control-flow analysis. |
ML |
2006 |
DBLP DOI BibTeX RDF |
ML, control-flow analysis |
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 | 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 | Stephen H. Muggleton, Ashwin Srinivasan 0001, Michael Bain 0001 |
Compression, Significance, and Accuracy. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hussein Almuallim, Thomas G. Dietterich |
On Learning More Concepts. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Zytkow, Jieming Zhu, Robert Zembowicz |
The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tom Fawcett, Paul E. Utgoff |
Automatic Feature Generation for Problem Solving Systems. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Devika Subramanian, Scott B. Hunter |
Measuring Utility and the Design of Provably Good EBL Algorithms. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Cullen Schaffer |
Deconstructing the Digit Recognition Problem. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth I. Hogger, Krysia Broda |
The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Venturini |
AGIL: Solving the Exploration Versus Exploration Dilemma in a single Classifier System Applied to Simulated Robotics. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter C.-H. Cheng, Herbert A. Simon |
The Right Representation for Discovery: Finding the Conservation of Momentum. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
Constructive Induction Using a Non-Greedy Strategy for Feature Selection. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Tesauro |
Temporal Difference Learning of Backgammon Strategy. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Iba, Pat Langley |
Induction of One-Level Decision Trees. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andrew McCallum |
Using Transitional Proximity for Faster Reinforcement Learning. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christian W. Omlin, C. Lee Giles |
Training Second-Order Recurrent Neural Networks using Hints. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Derek H. Sleeman, Peter Edwards (eds.) |
Proceedings of the Ninth International Workshop on Machine Learning (ML 1992), Aberdeen, Scotland, UK, July 1-3, 1992 |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Neeraj Bhatnagar |
Learning by Incomplete Explanation-Based Learning. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Gratch, Gerald DeJong |
An Analysis of Learning to Plan as a Search Problem. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Van de Merckt |
NFDT: A System that Learns Flexible Concepts Based on Decision Trees for Numerical Attributes. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ashvin Radiya, Jan M. Zytkow |
A Framework for Discovering Discrete Event Models. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Pang C. Chen |
Improving Path Planning with Learning. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Satinder P. Singh |
Scaling Reinforcement Learning Algorithms by Learning Variable Temporal Resolution Models. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Chengjiang Mao |
THOUGHT: An Integrated Learning System for Acquiring Knowledge Structure. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Z. Janikow |
Combining Competition and Cooperation in Supervised Inductive Learning. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Maria Segre |
On Combining Multiple Speedup Techniques. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Darrell Conklin, Janice I. Glasgow |
Spatial Analogy and Subsumption. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence B. Holder, Diane J. Cook, Horst Bunke |
Fuzzy Substructure Discovery. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy W. Bala, Ryszard S. Michalski, Janusz Wnek |
The Principal Axes Method for Constructive Induction. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stephane Lapointe, Stan Matwin |
Sub-unification: A Tool for Efficient Induction of Recursive Programs. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ray J. Hickey |
Artificial Universes - Towards a Systematic Approach to Evaluation Algorithms which Learn form Examples. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | John J. Grefenstette, Connie Loggia Ramsey |
An Approach to Anytime Learning. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Oren Etzioni |
An Asymptotic Analysis of Speedup Learning. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Oren Etzioni, Steven Minton |
Why EBL Produces Overly-Specific Knowledge: A Critique of the PRODIGY Approaches. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David Ruby, Dennis F. Kibler |
Learning Episodes for Optimization. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Cao Feng, Stephen H. Muggleton |
Towards Inductive Generalization in Higher Order Logic. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Douglas H. Fisher, Ling Xu, Nazih Zard |
Ordering Effects in Clustering. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | M. Alicia Pérez, Oren Etzioni |
DYNAMIC: A New Role for Training Problems in EBL. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alan D. Christiansen |
Learning to Predict in Uncertain Continuous Tasks. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Igor Kononenko 0001, Matevz Kovacic |
Learning as Optimization: Stochastic Generation of Multiple Knowledge. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yves Niquil |
Guiding Example Acquisition by Generating Scenarios. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jianping Zhang |
Selecting Typical Instances in Instance-Based Learning. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Zdravko Markov |
An Approach to Concept Learning Based on Term Generalization. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Kira, Larry A. Rendell |
A Practical Approach to Feature Selection. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David W. Aha |
Generalizing from Case studies: A Case Study. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Padhraic Smyth, Jeff Mellstrom |
Detecting Novel Classes with Applications to Fault Diagnosis. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Philip Laird |
Dynamic Optimization. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Attilio Giordana, Claudio Sale |
Learning Structured Concepts Using Genetic Algorithms. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Carpineto |
Trading Off Consistency and Efficiency in version-Space Induction. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jerry B. Weinberg, Gautam Biswas, Glenn R. Koller |
Conceptual Clustering with Systematic Missing Values. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Daniel S. Hirschberg, Michael J. Pazzani |
Average Case Analysis of Learning kappa-CNF Concepts. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Claude Sammut, Scott Hurst, Dana Kedzier, Donald Michie |
Learning to Fly. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Clark, Robert C. Holte |
Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sridhar Mahadevan |
Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Somkiat Tangkitvanich, Masamichi Shimura |
Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael T. Cox, Ashwin Ram 0001 |
Multistrategy Learning with Introspective Meta-Explanations. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Tecuci |
Cooperation in Knowledge Base Refinement. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|