Search results for "ocaml"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Rod Moten, Kemafor Anyanwu-Ogan, Sahibi Miranshah	Implementing graph grammars for intelligence analysis in OCaml.	CoRR	2016	DBLP BibTeX RDF
24	Benoît Vaugon, Philippe Wang, Emmanuel Chailloux	Programming Microcontrollers in OCaml: The OCaPIC Project.	PADL	2015	DBLP DOI BibTeX RDF
24	Raphael Poss	Haskell for OCaml programmers.	CoRR	2014	DBLP BibTeX RDF
24	Mathias Bourgoin, Emmanuel Chailloux	GPGPU Composition with OCaml.	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF
24	Prabhakar Ragde	OCaml from the Very Beginning, by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp.	J. Funct. Program.	2013	DBLP DOI BibTeX RDF
24	Yaron Minsky, Anil Madhavapeddy, Jason Hickey	Real World OCaml - Functional Programming for the Masses.		2013	RDF
24	Xavier Clerc	OCaml-Java: an ML implementation for the Java ecosystem.	PPPJ	2013	DBLP DOI BibTeX RDF
24	Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte	Spoc: GPGPU Programming through Stream Processing with OCaml.	Parallel Process. Lett.	2012	DBLP DOI BibTeX RDF
24	Marco Danelutto, Roberto Di Cosmo	A "Minimal Disruption" Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml.	ICCS	2012	DBLP DOI BibTeX RDF
24	Oleg Kiselyov	Delimited control in OCaml, abstractly and concretely.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
24	Marcell Fischbach, Benedikt Meurer	Towards a native toplevel for the OCaml language	CoRR	2011	DBLP BibTeX RDF
24	Yaron Minsky	OCaml for the masses.	Commun. ACM	2011	DBLP DOI BibTeX RDF
24	Yaron Minsky	OCaml for the Masses.	ACM Queue	2011	DBLP DOI BibTeX RDF
24	Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski	Real-Time Monitoring of Ocaml programs.	Stud. Inform. Univ.	2011	DBLP BibTeX RDF
24	Frédéric Chyzak, Alexis Darrasse	Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web.	ICFP	2011	DBLP DOI BibTeX RDF
24	Benedikt Meurer	Just-In-Time compilation of OCaml byte-code	CoRR	2010	DBLP BibTeX RDF
24	Oleg Kiselyov	Delimited Control in OCaml, Abstractly and Concretely: System Description.	FLOPS	2010	DBLP DOI BibTeX RDF
24	Maxence Guesdon	Fouille au code OCaml par analyse de dépendances.	Stud. Inform. Univ.	2009	DBLP BibTeX RDF
24	Maxence Guesdon	Fouille au code OCaml par analyse de dépendances.	JFLA	2009	DBLP BibTeX RDF
24	Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak	Opis: reliable distributed systems in OCaml.	TLDI	2009	DBLP DOI BibTeX RDF	distributed systems, model checking, functional programming, arrows
24	David Teller, Arnaud Spiwack, Till Varoquaux	Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml.	IFL	2008	DBLP DOI BibTeX RDF
24	Alain Frisch	OCaml + XDuce.	PLAN-X	2006	DBLP BibTeX RDF
15	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
15	Andreas Rossberg, Claudio V. Russo, Derek Dreyer	F-ing modules.	TLDI	2010	DBLP DOI BibTeX RDF	first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration
15	Siliang Li, Gang Tan	Finding bugs in exceptional situations of JNI programs.	CCS	2009	DBLP DOI BibTeX RDF	static analysis, taint analysis, java native interface
15	Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia	Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.	CAV	2009	DBLP DOI BibTeX RDF
15	Anil Madhavapeddy	Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language.	ICFEM	2009	DBLP DOI BibTeX RDF
15	John Harrison 0001	HOL Light: An Overview.	TPHOLs	2009	DBLP DOI BibTeX RDF
15	Stefan Berghofer, Lukas Bulwahn, Florian Haftmann	Turning Inductive into Equational Specifications.	TPHOLs	2009	DBLP DOI BibTeX RDF
15	Guy L. Steele Jr.	Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.	ICFP	2009	DBLP DOI BibTeX RDF	associative operator, conjugate transform, tree, reduction, monoid
15	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
15	Avik Chaudhuri	A concurrent ML library in concurrent Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML
15	Rajeev Goré, Florian Widmann	An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.	CADE	2009	DBLP DOI BibTeX RDF
15	Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala	Type-based data structure verification.	PLDI	2009	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
15	Rajeev Goré, Florian Widmann	Sound Global State Caching for ALC with Inverse Roles.	TABLEAUX	2009	DBLP DOI BibTeX RDF
15	Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp	Tyrolean Termination Tool 2.	RTA	2009	DBLP DOI BibTeX RDF	automation, termination, term rewriting
15	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
15	Klaus Havelund	Runtime Verification of C Programs.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
15	Sam Lindley	Many holes in hindley-milner.	ML	2008	DBLP DOI BibTeX RDF	indexed type, multi-holed context, phantom type, value restriction, dependent type
15	Leonardo Gaetano Mezzina	How to Infer Finite Session Types in a Calculus of Services and Sessions.	COORDINATION	2008	DBLP DOI BibTeX RDF
15	Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin	Formal correctness of conflict detection for firewalls.	FMSE	2007	DBLP DOI BibTeX RDF	firewall, coq
15	Richard Bonichon, David Delahaye, Damien Doligez	Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.	LPAR	2007	DBLP DOI BibTeX RDF
15	Mark Samuel Miller	Tradeoffs in retrofitting security: an experience report.	DLS	2007	DBLP DOI BibTeX RDF	object-capability, security, access control, language
15	Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo	Tree Components Programming: An Application to XML.	ICTAC	2007	DBLP DOI BibTeX RDF	web programming language, tree components, XML, static typing
15	Emilena Specht, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Érika F. Cota, Flávio Rech Wagner	Analysis of the use of declarative languages for enhanced embedded system software development.	SBCCI	2007	DBLP DOI BibTeX RDF	embedded software, modeling languages, system level modeling, system level synthesis
15	David Baelde, Andrew Gacek, Dale Miller 0001, Gopalan Nadathur, Alwen Tiu	The Bedwyr System for Model Checking over Syntactic Expressions.	CADE	2007	DBLP DOI BibTeX RDF
15	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
15	Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan	Melange: creating a "functional" internet.	EuroSys	2007	DBLP DOI BibTeX RDF
15	John Regehr, Usit Duongsaa	Deriving abstract transfer functions for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, embedded software, transfer functions
15	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
15	Vincent Balat	Ocsigen: typing web interaction with objective Caml.	ML	2006	DBLP DOI BibTeX RDF	continuations, web programming, objective Caml
15	Jean-Christophe Filliâtre, Sylvain Conchon	Type-safe modular hash-consing.	ML	2006	DBLP DOI BibTeX RDF	hash-consing, data structures, sharing
15	Vlad Tanasescu, Pawel T. Wojciechowski	Role-Based Declarative Synchronization for Reconfigurable Systems.	PADL	2005	DBLP DOI BibTeX RDF
15	Sandrine Blazy, Xavier Leroy	Formal Verification of a Memory Model for C-Like Imperative Languages.	ICFEM	2005	DBLP DOI BibTeX RDF
15	Tom Ridge, James Margetson	A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic.	TPHOLs	2005	DBLP DOI BibTeX RDF
15	Jacques Carette, Oleg Kiselyov	Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.	GPCE	2005	DBLP DOI BibTeX RDF
15	Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani	An Abstract Machine for the Kell Calculus.	FMOODS	2005	DBLP DOI BibTeX RDF
15	Mathew Zaleski, Marc Berndl, Angela Demke Brown	Mixed mode execution with context threading.	CASCON	2005	DBLP BibTeX RDF
15	David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu	Extracting a Data Flow Analyser in Constructive Logic.	ESOP	2004	DBLP DOI BibTeX RDF
15	Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli	A Generative Approach to the Implementation of Language Bindings for the Document Object Model.	GPCE	2004	DBLP DOI BibTeX RDF
15	Grzegorz Andruszkiewicz, Krzysztof Ciebiera, Marcin Gozdalik, Cezary Kaliszyk, Mateusz Srebrny	SIE - Intelligent Web Proxy Framework.	ICWE	2004	DBLP DOI BibTeX RDF
15	Christoph Sprenger 0001, Krzysztof Worytkiewicz	A Verification Methodology for Infinite-State Message Passing Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF
15	Walid Taha	A Gentle Introduction to Multi-stage Programming.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
15	Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy	Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.	GPCE	2003	DBLP DOI BibTeX RDF
15	Phil Bagwell	Fast Functional Lists.	IFL	2002	DBLP DOI BibTeX RDF
15	Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov	Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.	ESOP	2002	DBLP DOI BibTeX RDF
15	Julien Forest	A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.	RTA	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.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
15	Andrei Serjantov, Peter Sewell, Keith Wansbrough	The UDP Calculus: Rigorous Semantics for Real Networking.	TACS	2001	DBLP DOI BibTeX RDF
15	Ewen Denney	The Synthesis of a Java Card Tokenization Algorithm.	ASE	2001	DBLP DOI BibTeX RDF
15	Olivier Danvy, Bernd Grobauer, Morten Rhiger	A Unifying Approach to Goal-Directed Evaluation.	SAIG	2001	DBLP DOI BibTeX RDF
15	Kathleen Fisher, John H. Reppy, Jon G. Riecke	A Calculus for Compiling and Linking Classes.	ESOP	2000	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001	A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.	ESOP	2000	DBLP DOI BibTeX RDF
15	Michel Levy	Prover KT4.	TABLEAUX	1998	DBLP DOI BibTeX RDF