Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | Bruno 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](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 2-17, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml |
95 | Benjamin Canou, Vincent Balat, Emmanuel Chailloux |
O'browser: objective caml on browsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 69-78, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
virtual machine, javascript, web browsers, objective caml, document object model |
87 | Tom Ridge |
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings, pp. 278-293, 2007, Springer, 978-3-540-74590-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
87 | Ken Wakita, Takashi Asano 0002, Masataka Sassa |
D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 914-924, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
83 | Michael F. Ringenburg, Dan Grossman |
AtomCaml: first-class atomicity via rollback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 92-104, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
transactions, concurrent programming, atomicity, objective caml |
80 | Alec Heller, Jesse A. Tov |
Caml-Shcaml: an ocaml library for unix shell programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 79-90, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
shell programming, domain-specific languages, unix, types, objective caml |
80 | Vincent Balat |
Ocsigen: typing web interaction with objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 84-94, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
continuations, web programming, objective Caml |
80 | Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa |
Aspectual Caml: an aspect-oriented functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 320-330, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pointcut and advice, aspect-oriented programming, objective Caml |
72 | Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas |
CAML - A Universal Configuration Language for Dialogue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 896-906, 2003, Springer, 3-540-40806-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Bruno 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](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 215-220, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SCADE SUITE 6, safety critical, objective caml, DO-178B |
60 | Vincent Balat, Olivier Danvy |
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings, pp. 240-252, 1998, Springer, 3-540-64925-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
54 | Raphaël Montelatici |
Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET. (Functional languages, typing and interoperability: Objective Caml on .NET). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
53 | Jérôme Vouillon |
Lwt: a cooperative thread library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 3-12, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
networking, concurrency, programming, implementation, ml, thread, monad, objective caml |
53 | Benjamin S. Lerner, Dan Grossman, Craig Chambers |
Seminal: searching for ML type-error messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 63-73, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
seminal, type-inference, type-checking, objective Caml, error messages |
45 | Steven Cheung, Ulf Lindqvist, Martin W. Fong |
Modeling Multistep Cyber Attacks for Scenario Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCEX (1) ![In: 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA, pp. 284-292, 2003, IEEE Computer Society, 0-7695-1897-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Sylvain Conchon, Fabrice Le Fessant |
Jocaml: Mobile Agents for Objective-Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASA/MA ![In: 1st International Symposium on Agent Systems and Applications / 3rd International Symposium on Mobile Agents (ASA/MA '99), 3-6 October 1999, Palm Springs, CA, USA, pp. 22-29, 1999, IEEE Computer Society, 0-7695-0340-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Vincent Balat, Jérôme Vouillon, Boris Yakobowski |
Experience report: ocsigen, a web programming framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 311-316, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML |
38 | Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers |
Searching for type-error messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 425-434, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
seminal, type-inference, type-checking, objective Caml, error messages |
38 | Jocelyn Sérot, Dominique Ginhac, Jean-Pierre Dérutin |
SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings, pp. 296-305, 1999, Springer, 3-540-66363-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
image processing, Parallelism, skeleton, vehicle tracking, fast prototyping, Caml |
30 | Tyng-Ruey Chuang, Max Schäfer |
Status report: layered streaming XML processing with modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, pp. 53-58, 2007, ACM, 978-1-59593-676-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
modular software, streaming XML processing, XML, functional programming, ML, modules |
30 | Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet |
Automatic Generation of Functional Programs from CASL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 34, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Frédéric Loulergue, Frédéric Gava, David Billiet |
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II, pp. 1046-1054, 2005, Springer, 3-540-26043-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Frédéric Gava, Frédéric Loulergue |
A Parallel Virtual Machine for Bulk Synchronous Parallel ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, pp. 155-164, 2003, Springer, 3-540-40194-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Israr 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](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 533, pp. 178-190, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Bharathan Balaji, Venkata Sai Gargeya Vunnava, Geoffrey Guest, Jared Kramer |
CaML: Carbon Footprinting of Household Products with Zero-Shot Semantic Text Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, pp. 4004-4014, 2023, ACM, 978-1-4503-9416-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang |
Objective Caml for Multicore Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.05862, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali |
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 13(4), pp. 715-734, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Luisa M. Zintgraf, Kyriacos Shiarlis, Vitaly Kurin, Katja Hofmann, Shimon Whiteson |
CAML: Fast Context Adaptation via Meta-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.03642, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Dmitry Boulytchev |
Combinators and type-driven transformers in Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 114, pp. 57-73, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Ryad Benadjila, Thomas Calderon 0002, Marion Daubignard |
Caml Crush: A PKCS#11 Filtering Proxy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers, pp. 173-192, 2014, Springer, 978-3-319-16762-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Jean-Christophe Filliâtre, K. Kalyanasundaram |
Functory: A Distributed Computing Library for Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers, pp. 65-81, 2011, Springer, 978-3-642-32036-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Philippe Wang, Adrien Jonquet, Emmanuel Chailloux |
Non-Intrusive Structural Coverage for Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 59-73, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Benedikt Meurer |
OCamlJIT 2.0 - Faster Objective Caml ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.1783, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Lee 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](Pics/bibsonomy.png) |
Int. J. Interact. Mob. Technol. ![In: Int. J. Interact. Mob. Technol. 3(S1), pp. 37-45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Elkamel Merah, Allaoua Chaoui |
Un Caml Light Distribué. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIIA ![In: Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), Saida, Algeria, May 3-4, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet |
Hirondml: Fair Threads Migrations for Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 18(1), pp. 55-69, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Yaron Minsky, Stephen Weeks |
Caml trading - experiences with functional programming on Wall Street. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 18(4), pp. 553-564, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Yaron Minsky |
Caml trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 285, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
functional programming, ML |
27 | Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici |
Mixing the Objective Caml and C# Programming Models in the .Net Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0705.1458, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Mark R. Shinwell |
Fresh O'Caml: Nominal Abstract Syntax for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM-SIGPLAN Workshop on ML, ML 2005, Tallinn, Estonia, September 29, 2005, pp. 53-77, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici |
Interopérabilité avec Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 24(9), pp. 1055-1080, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Emmanuel Chailloux, Grégoire Henry |
O'Jacaré, une interface objet entre Objective Caml et Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Obj. Logiciel Base données Réseaux ![In: Obj. Logiciel Base données Réseaux 10(2-3), pp. 75-88, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Frédéric Loulergue |
Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 14(5), pp. 592-594, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano |
CamIL: Un compilateur Objective Caml vers .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RIVF ![In: Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, Hanoï Vietnam, 2-5 Février 2004, pp. 147-152, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
27 | Emmanuel Chailloux, Christian Foisy |
A Portable Implementation for Objective Caml Flight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 13(3), pp. 425-436, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Joel Falcou, Jocelyn Sérot |
CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFLA ![In: Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003, pp. 139-152, 2003, INRIA. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Jocelyn Sérot |
CAMLFLOW: a CAML to data-flow graph translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scottish Functional Programming Workshop ![In: Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000, pp. 129-144, 2000, Intellect, 1-84150-058-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Ramón Castro, Xesús M. López, Víctor M. Gulías |
An ODBC Interface for Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998, pp. 189-200, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
27 | François Rouaix |
A Web Navigator with Applets in Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 28(7-11), pp. 1365-1371, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Jürgen Wolff von Gudenberg |
Algorithmen, Datenstrukturen, funktionale Programmierung - eine praktische Einführung mit Caml Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
27 | José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías |
Extending CAML Light to Perform Distributed Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE ![In: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, pp. 113-124, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
27 | Pierre Weis, Xavier Leroy |
Le langage Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
27 | Xavier Leroy, Pierre Weis |
Manuel de référence du langage CAML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
23 | John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa |
Type-safe distributed programming for OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 20-31, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
HashCaml, type-safe marshalling, objective Caml |
23 | Norman Ramsey, Kathleen Fisher, Paul Govereau |
An expressive language of signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 27-40, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large |
23 | Jocelyn Sérot, Dominique Ginhac, Roland Chapuis, Jean-Pierre Dérutin |
Fast prototyping of parallel-vision applications using functional skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 12(6), pp. 271-290, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Computer vision, Parallelism, Functional programming, Skeleton, Fast prototyping, Road following, CAML |
23 | Xavier Leroy, François Pessaux |
Type-based analysis of uncaught exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(2), pp. 340-377, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml |
23 | Tommy Thorne |
Programming Languages for Mobile Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 29(3), pp. 213-239, 1997. The full citation details ...](Pics/full.jpeg) |
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 |
23 | Catherine Dubois, François Rouaix, Pierre Weis |
Generic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 118-129, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
debugging, genericity, dynamics, ML, ML, polymorphism, functional language, type checking, Caml, ad-hoc polymorphism |
15 | John Harrison 0001 |
HOL Light: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 60-66, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Aslan Askarov, Andrei Sabelfeld |
Catch me if you can: permissive yet secure error handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009, pp. 45-57, 2009, ACM, 978-1-60558-645-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
exception handling, security type system |
15 | Kyung-Goo Doh, Hyunha Kim, David A. Schmidt |
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 256-272, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak |
Opis: reliable distributed systems in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 65-78, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, functional programming, arrows |
15 | Ken Friis Larsen |
A MuDDy Experience-ML Bindings to a BDD Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 45-57, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Louis Mandel, Luc Maranget |
Programming in JoCaml (Tool Demonstration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 108-111, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Scott Owens |
A Sound Semantics for OCamllight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 1-15, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
Transactional events for ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 103-114, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronous message passing, transactional events, concurrency |
15 | Christoph 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](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 162-170, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Pascal 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](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 13-22, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml |
15 | Jan Schwinghammer |
On Normalization by Evaluation for Object Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, pp. 173-187, 2007, Springer, 978-3-540-68084-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Andrej Bauer, Christopher A. Stone |
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 28-42, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Vincenzo Nicosia |
Towards hard real-time Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 29-36, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scheduling, real time, erlang |
15 | Norihiro Ogata |
Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIC ![In: Intercultural Collaboration, First International Workshop, IWIC 2007, Kyoto, Japan, January 25-26, 2007, Invited and Selected Papers, pp. 46-60, 2007, Springer, 978-3-540-73999-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Formal Cultural Ontology, qualia, ethnic group, Functional Programming, culture, Type Theory |
15 | Yu-Chin Cheng, Chien-Hung Chen, Chung-Chih Chiang, Jun-Wei Wang 0002, Chi-Sung Laih |
Generating Attack Scenarios with Causal Relationship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 368-373, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sandrine Blazy, Zaynah Dargaye, Xavier Leroy |
Formal Verification of a C Compiler Front-End. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 460-475, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jacques Garrigue |
Private Row Types: Abstracting the Unnamed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp. 44-60, 2006, Springer, 3-540-48937-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Loulergue |
A calculus of functional BSP programs with projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Sungwoo Park, Frank Pfenning, Sebastian Thrun |
A probabilistic language based upon sampling functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 171-182, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
probabilistic language, sampling function, robotics, probability distribution |
15 | François Pottier |
From ML type inference to stratified type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 1, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andrew D. Gordon 0001 |
From Typed Process Calculi to Source-Based Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 2, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Synthesizing B Specifications from EB3 Attribute Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 207-226, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions |
15 | Frédéric Loulergue |
Optimizing Bulk Synchronous Parallel ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Proceedings of the 6th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2005), May 23-25, 2005, Towson, Maryland, USA, pp. 294-299, 2005, IEEE Computer Society, 0-7695-2294-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | J. 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](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers, pp. 111-120, 2005, Springer, 3-540-29002-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Christophe Filliâtre, Pierre Letouzey |
Functors for Proofs and Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 370-384, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Grigore Rosu |
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 1-44, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Gérard P. Huet |
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 17-18, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa |
The Interface Definition Language for Fail-Safe C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, pp. 192-208, 2003, Springer, 3-540-23635-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Gérard P. Huet |
Automata Mista. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 359-372, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Vincent Simonet |
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, pp. 283-302, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Loulergue |
Parallel Juxtaposition for Bulk Synchronous Parllel ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 781-788, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Gava, Frédéric Loulergue |
A Polymorphic Type System for Bulk Synchronous Parallel ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings, pp. 215-229, 2003, Springer, 3-540-40673-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Loulergue |
Parallel Superposition for Bulk Synchronous Parallel ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part III, pp. 223-232, 2003, Springer, 3-540-40196-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
functional programming, cost model, divide-and-conquer, bulk synchronous parallelism |
15 | Emmanuel Coquery, François Fages |
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 480, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Grégoire, Xavier Leroy |
A compiled implementation of strong reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 235-246, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq |
15 | Jesper B. Møller |
DDDLIB: A Library for Solving Quantified Difference Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 129-133, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt |
JoCaml: A Language for Concurrent Distributed and Mobile Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures, pp. 129-158, 2002, Springer, 3-540-40132-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jean-François Dufourd, Sven Luther |
Interacting with parametrized geometric objects using lambda-terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Seventh ACM Symposium on Solid Modeling and Applications, Max-Planck-Institut für Informatik, Saarbrücken, Germany, June 17-21, 2002, pp. 241-248, 2002, ACM, 1-58113-506-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
interaction, functional programming, geometric modeling, parameterization, ?-calculus, boundary representation |
15 | Gérard P. Huet |
From an Informal Textual Lexicon to a Well-Structured Lexical Database: An Experiment in Data Reverse Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE'01, Stuttgart, Germany, October 2-5, 2001, pp. 127-135, 2001, IEEE Computer Society, 0-7695-1303-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Fabrice Le Fessant, Luc Maranget |
Optimizing Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 26-37, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ML |
15 | Tyng-Ruey Chuang, Shin-Cheng Mu |
Out-of-Core Functional Programming with Type-Based Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, pp. 32-46, 2000, Springer, 3-540-66992-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|