The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1989-1998 (18) 1999-2002 (18) 2003-2004 (17) 2005-2006 (19) 2007-2008 (22) 2009-2018 (15) 2019-2023 (4)
Publication types (Num. hits)
article(18) book(3) inproceedings(91) phdthesis(1)
Venues (Conferences, Journals, ...)
ICFP(9) ML(9) CoRR(4) PADL(4) POPL(4) ESOP(3) APLAS(2) CADE(2) Euro-Par(2) EUROCAST(2) IJCAR(2) International Conference on Co...(2) J. Funct. Program.(2) PaCT(2) Parallel Process. Lett.(2) PLDI(2) More (+10 of total 70)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 140 occurrences of 95 keywords

Results
Found 113 publication records. Showing 113 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
125Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang Certified Development Tools Implementation in Objective Caml. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
95Benjamin 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
87Tom Ridge Operational Reasoning for Concurrent Caml Programs and Weak Memory Models. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
87Ken Wakita, Takashi Asano 0002, Masataka Sassa D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
83Michael F. Ringenburg, Dan Grossman AtomCaml: first-class atomicity via rollback. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transactions, concurrent programming, atomicity, objective caml
80Alec 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
80Vincent 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
80Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa Aspectual Caml: an aspect-oriented functional language. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pointcut and advice, aspect-oriented programming, objective Caml
72Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas CAML - A Universal Configuration Language for Dialogue Systems. Search on Bibsonomy DEXA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
65Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SCADE SUITE 6, safety critical, objective caml, DO-178B
60Vincent Balat, Olivier Danvy Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
54Raphaël Montelatici Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET. (Functional languages, typing and interoperability: Objective Caml on .NET). Search on Bibsonomy 2007   RDF
53Jé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
53Benjamin 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
45Steven Cheung, Ulf Lindqvist, Martin W. Fong Modeling Multistep Cyber Attacks for Scenario Recognition. Search on Bibsonomy DISCEX (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Sylvain Conchon, Fabrice Le Fessant Jocaml: Mobile Agents for Objective-Caml. Search on Bibsonomy ASA/MA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Vincent 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
38Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers Searching for type-error messages. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF seminal, type-inference, type-checking, objective Caml, error messages
38Jocelyn Sérot, Dominique Ginhac, Jean-Pierre Dérutin SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications. Search on Bibsonomy PaCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF image processing, Parallelism, skeleton, vehicle tracking, fast prototyping, Caml
30Tyng-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
30Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet Automatic Generation of Functional Programs from CASL Specifications. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Frédéric Loulergue, Frédéric Gava, David Billiet Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Frédéric Gava, Frédéric Loulergue A Parallel Virtual Machine for Bulk Synchronous Parallel ML. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Israr Ur Rehman, Waqar Ali, Zahoor Jan, Zulfiqar Ali 0002, Hui Xu, Jie Shao 0001 CAML: Contextual augmented meta-learning for cold-start recommendation. Search on Bibsonomy Neurocomputing The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Bharathan Balaji, Venkata Sai Gargeya Vunnava, Geoffrey Guest, Jared Kramer CaML: Carbon Footprinting of Household Products with Zero-Shot Semantic Text Similarity. Search on Bibsonomy WWW The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang Objective Caml for Multicore Architectures. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
27Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Luisa M. Zintgraf, Kyriacos Shiarlis, Vitaly Kurin, Katja Hofmann, Shimon Whiteson CAML: Fast Context Adaptation via Meta-Learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
27Dmitry Boulytchev Combinators and type-driven transformers in Objective Caml. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Ryad Benadjila, Thomas Calderon 0002, Marion Daubignard Caml Crush: A PKCS#11 Filtering Proxy. Search on Bibsonomy CARDIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Jean-Christophe Filliâtre, K. Kalyanasundaram Functory: A Distributed Computing Library for Objective Caml. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Philippe Wang, Adrien Jonquet, Emmanuel Chailloux Non-Intrusive Structural Coverage for Objective Caml. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
27Benedikt Meurer OCamlJIT 2.0 - Faster Objective Caml Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
27Lee Tan Luck Quality Computer Assisted Mobile Learning (CAML) and Distance Education Leadership in Managing Technology Enhanced Learning Management System (TELMS) in the Malaysian Public Tertiary Education. Search on Bibsonomy Int. J. Interact. Mob. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Elkamel Merah, Allaoua Chaoui Un Caml Light Distribué. Search on Bibsonomy CIIA The full citation details ... 2009 DBLP  BibTeX  RDF
27Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet Hirondml: Fair Threads Migrations for Objective Caml. Search on Bibsonomy Parallel Process. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Yaron Minsky, Stephen Weeks Caml trading - experiences with functional programming on Wall Street. Search on Bibsonomy J. Funct. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Yaron Minsky Caml trading. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF functional programming, ML
27Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici Mixing the Objective Caml and C# Programming Models in the .Net Framework Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
27Mark R. Shinwell Fresh O'Caml: Nominal Abstract Syntax for the Masses. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici Interopérabilité avec Objective Caml. Search on Bibsonomy Tech. Sci. Informatiques The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Emmanuel Chailloux, Grégoire Henry O'Jacaré, une interface objet entre Objective Caml et Java. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Frédéric Loulergue Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano CamIL: Un compilateur Objective Caml vers .NET. Search on Bibsonomy RIVF The full citation details ... 2004 DBLP  BibTeX  RDF
27Emmanuel Chailloux, Christian Foisy A Portable Implementation for Objective Caml Flight. Search on Bibsonomy Parallel Process. Lett. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Joel Falcou, Jocelyn Sérot CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml. Search on Bibsonomy JFLA The full citation details ... 2003 DBLP  BibTeX  RDF
27Jocelyn Sérot CAMLFLOW: a CAML to data-flow graph translator. Search on Bibsonomy Scottish Functional Programming Workshop The full citation details ... 2000 DBLP  BibTeX  RDF
27Ramón Castro, Xesús M. López, Víctor M. Gulías An ODBC Interface for Objective Caml. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
27François Rouaix A Web Navigator with Applets in Caml. Search on Bibsonomy Comput. Networks The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Jürgen Wolff von Gudenberg Algorithmen, Datenstrukturen, funktionale Programmierung - eine praktische Einführung mit Caml Light. Search on Bibsonomy 1996   RDF
27José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías Extending CAML Light to Perform Distributed Computation. Search on Bibsonomy GULP-PRODE The full citation details ... 1995 DBLP  BibTeX  RDF
27Pierre Weis, Xavier Leroy Le langage Caml. Search on Bibsonomy 1993   RDF
27Xavier Leroy, Pierre Weis Manuel de référence du langage CAML. Search on Bibsonomy 1993   RDF
23John 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
23Norman Ramsey, Kathleen Fisher, Paul Govereau An expressive language of signatures. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large
23Jocelyn Sérot, Dominique Ginhac, Roland Chapuis, Jean-Pierre Dérutin Fast prototyping of parallel-vision applications using functional skeletons. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Computer vision, Parallelism, Functional programming, Skeleton, Fast prototyping, Road following, CAML
23Xavier 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
23Tommy Thorne Programming Languages for Mobile Code. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Limbo, Obliq, Safe-Tcl, telescript, security, Java, formal methods, object orientation, distribution, safety, portability, mobile code, network programming, Objective Caml
23Catherine 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
15John Harrison 0001 HOL Light: An Overview. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Aslan Askarov, Andrei Sabelfeld Catch me if you can: permissive yet secure error handling. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF exception handling, security type system
15Kyung-Goo Doh, Hyunha Kim, David A. Schmidt Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak Opis: reliable distributed systems in OCaml. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distributed systems, model checking, functional programming, arrows
15Ken Friis Larsen A MuDDy Experience-ML Bindings to a BDD Library. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Louis Mandel, Luc Maranget Programming in JoCaml (Tool Demonstration). Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Scott Owens A Sound Semantics for OCamllight. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Laura Effinger-Dean, Matthew Kehrt, Dan Grossman Transactional events for ML. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF synchronous message passing, transactional events, concurrency
15Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Pascal 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
15Jan Schwinghammer On Normalization by Evaluation for Object Calculi. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Andrej Bauer, Christopher A. Stone RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Vincenzo Nicosia Towards hard real-time Erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF scheduling, real time, erlang
15Norihiro Ogata Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming. Search on Bibsonomy IWIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Cultural Ontology, qualia, ethnic group, Functional Programming, culture, Type Theory
15Yu-Chin Cheng, Chien-Hung Chen, Chung-Chih Chiang, Jun-Wei Wang 0002, Chi-Sung Laih Generating Attack Scenarios with Causal Relationship. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Sandrine Blazy, Zaynah Dargaye, Xavier Leroy Formal Verification of a C Compiler Front-End. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Jacques Garrigue Private Row Types: Abstracting the Unnamed. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Frédéric Loulergue A calculus of functional BSP programs with projection. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Sungwoo Park, Frank Pfenning, Sebastian Thrun A probabilistic language based upon sampling functions. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF probabilistic language, sampling function, robotics, probability distribution
15François Pottier From ML type inference to stratified type inference. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Andrew D. Gordon 0001 From Typed Process Calculi to Source-Based Security. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Frédéric Gervais, Marc Frappier, Régine Laleau Synthesizing B Specifications from EB3 Attribute Definitions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
15Frédéric Loulergue Optimizing Bulk Synchronous Parallel ML. Search on Bibsonomy SNPD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez Towards a Certified and Efficient Computing of Gröbner Bases. Search on Bibsonomy EUROCAST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Jean-Christophe Filliâtre, Pierre Letouzey Functors for Proofs and Programs. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15José Meseguer 0001, Grigore Rosu Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Gérard P. Huet Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa The Interface Definition Language for Fail-Safe C. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Gérard P. Huet Automata Mista. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Vincent Simonet Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Frédéric Loulergue Parallel Juxtaposition for Bulk Synchronous Parllel ML. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Frédéric Gava, Frédéric Loulergue A Polymorphic Type System for Bulk Synchronous Parallel ML. Search on Bibsonomy PaCT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Frédéric Loulergue Parallel Superposition for Bulk Synchronous Parallel ML. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF functional programming, cost model, divide-and-conquer, bulk synchronous parallelism
15Emmanuel Coquery, François Fages TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Benjamin Grégoire, Xavier Leroy A compiled implementation of strong reduction. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
15Jesper B. Møller DDDLIB: A Library for Solving Quantified Difference Inequalities. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt JoCaml: A Language for Concurrent Distributed and Mobile Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Jean-François Dufourd, Sven Luther Interacting with parametrized geometric objects using lambda-terms. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF interaction, functional programming, geometric modeling, parameterization, ?-calculus, boundary representation
15Gérard P. Huet From an Informal Textual Lexicon to a Well-Structured Lexical Database: An Experiment in Data Reverse Engineering. Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Fabrice Le Fessant, Luc Maranget Optimizing Pattern Matching. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ML
15Tyng-Ruey Chuang, Shin-Cheng Mu Out-of-Core Functional Programming with Type-Based Primitives. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 113 (100 per page; Change: )
Pages: [1][2][>>]
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