Search results for "mlton"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
228	Stephen Weeks	Whole-program compilation in MLton.	ML	2006	DBLP DOI BibTeX RDF
117	Henry Cejtin, Suresh Jagannathan, Stephen Weeks	Flow-Directed Closure Conversion for Typed Languages.	ESOP	2000	DBLP DOI BibTeX RDF
60	K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan	Lightweight asynchrony using parasitic threads.	DAMP	2010	DBLP DOI BibTeX RDF	lightweight threading, mlton, message passing, asynchronous communication
40	Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek	Real-time MLton: A Standard ML runtime for real-time functional programs.	J. Funct. Program.	2021	DBLP DOI BibTeX RDF
40	Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek	Embedded SML using the MLton compiler.	CoRR	2016	DBLP BibTeX RDF
23	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
23	Anders Schack-Nielsen, Carsten Schürmann	Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
23	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
23	Marco D. Santambrogio, Seda Ogrenci Memik, Vincenzo Rana, Umut A. Acar, Donatella Sciuto	A novel SoC design methodology combining adaptive software and reconfigurable hardware.	ICCAD	2007	DBLP DOI BibTeX RDF
23	Matthew Fluet, Stephen Weeks	Contification Using Dominators.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML

Displaying result #1 - #10 of 10 (100 per page; Change: )