Search results for "ML"

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