|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 31 keywords
|
|
|
|
|
Results
Found 43 publication records. Showing 43 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew Flatt |
Creating languages in Racket.  |
Commun. ACM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
Typing the Numeric Tower. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler |
Run your research: on the effectiveness of lightweight mechanization. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen |
Languages as libraries. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda |
Places: adding message-passing parallelism to racket. |
DLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Atkinson, Matthew Flatt, Gary Lindstrom |
ABI compatibility through a customizable language. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt |
Back to the futures: incremental parallelization of existing sequential runtime systems. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey Klein, Matthew Flatt, Robert Bruce Findler |
Random testing for higher-order, stateful programs. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt |
Semantics Engineering with PLT Redex. |
|
2009 |
RDF |
|
| 1 | Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt |
Precise garbage collection for C. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
garbage collection, precise, conservative, c programming language, accurate |
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
A functional I/O system or, fun for freshman kids. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
introductory programming |
| 1 | Matthew Flatt, Eli Barzilay, Robert Bruce Findler |
Scribble: closing the book on ad hoc documentation tools. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
domain-specific languages, macros, metaprogramming |
| 1 | Matthew Flatt, Benjamin C. Pierce |
Preface. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen |
Adding delimited and composable control to a production programming environment. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, Matthew Flatt |
Slideshow: functional presentations. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Owens, Matthew Flatt |
From structures and functors to modules and units. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
component, structure, module, unit, functor |
| 1 | Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
Scheme with Classes, Mixins, and Traits. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean McDirmid, Wilson C. Hsieh, Matthew Flatt |
A Framework for Modular Linking in OO Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Culpepper, Scott Owens, Matthew Flatt |
Syntactic Abstraction in Component Interfaces. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt |
Fine-grained interoperability through mirrors and contracts. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, interoperability, contracts, scheme, mirrors |
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
The structure and interpretation of the computer science curriculum. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Robert Bruce Findler |
Kill-safe synchronization abstractions. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Wick, Matthew Flatt |
Memory accounting without partitions. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
memory accounting, software reliability, garbage collection, concurrent programming |
| 1 | Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, Matthew Flatt |
Slideshow: functional presentations. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David S. Goldberg, Robert Bruce Findler, Matthew Flatt |
Super and inner: together at last! |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
inner, override, super, inheritance, augment |
| 1 | Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathryn E. Gray, Matthew Flatt |
ProfessorJ: a gradual introduction to Java through language levels. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson |
The role of language paradigms in teaching programming. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
concurrency, concepts, programming paradigms |
| 1 | Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen |
DrScheme: a programming environment for Scheme. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt |
Composable and compilable macros: : you want it when? |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
language tower, modules, macros |
| 1 | Sean McDirmid, Matthew Flatt, Wilson C. Hsieh |
Jiazzi: New-Age Components for Old-Fashioned Java. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John Clements, Matthew Flatt, Matthias Felleisen |
Modeling an Algebraic Stepper. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide |
Knit: Component Composition for Systems Software. |
OSDI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
A Programmer's Reduction Semantics for Classes and Mixins. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
The DrScheme Project: An Overview. |
SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Matthias Felleisen |
Units: Cool Modules for HOT Languages. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
ML, SCHEME |
| 1 | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
Classes and Mixins. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Robert Bruce Findler, Matthew Flatt |
Modular Object-Oriented Programming with Units and Mixins. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Matthias Felleisen |
Program Units as Higher-Order Modules. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
DrScheme: A Pedagogic Programming Environment for Scheme. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging |
| 1 | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |
Static Debugging: Browsing the Web of Program Invariants. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")