Edit Profile (opens in new tab) Felleisen, Matthias Compute Distance To: Compute Author ID: felleisen.matthias Published as: Felleisen, Matthias; Felleisen, M. External Links: MGP · Wikidata · IdRef Documents Indexed: 40 Publications since 1986, including 2 Books 1 Contribution as Editor · 1 Further Contribution Co-Authors: 36 Co-Authors with 39 Joint Publications 269 Co-Co-Authors all top 5 Co-Authors 3 single-authored 9 Findler, Robert Bruce 7 Krishnamurthi, Shriram 6 Flatt, Matthew 5 Clements, John C. 5 Friedman, Daniel P. 5 Tobin-Hochstadt, Sam 4 Graunke, Paul T. 3 Chang, Stephen F. 3 Flanagan, Cormac 2 Cartwright, Robert 2 Culpepper, Ryan 2 Dimoulas, Christos 2 Pettyjohn, Greg 1 Ariola, Zena M. 1 Barzilay, Eli 1 Cobbe, Richard 1 Curien, Pierre-Louis 1 Duba, Bruce 1 Eastlund, Carl 1 Feltey, Daniel 1 Findler, Bruce 1 Gardner, Philippa Anne 1 Garnock-Jones, Tony 1 Greenman, Ben 1 Hieb, Robert 1 Hopkins, Peter Walton 1 Kohlbecker, Eugene 1 Marshall, Joe 1 McCarthy, Jay A. 1 Meunier, Philippe 1 Moore, J Strother 1 New, Max S. 1 Steckler, Paul A. 1 Strickland, T. Stephen 1 Takikawa, Asumu 1 Van der Hoeven, Steve 1 Vitek, Jan 1 Wright, Andrew K. all top 5 Serials 4 Journal of Functional Programming 3 Theoretical Computer Science 2 Computer Languages 2 Science of Computer Programming 2 Information and Computation 1 Higher-Order and Symbolic Computation 1 Lecture Notes in Computer Science Fields 42 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 32 Publications have been cited 365 times in 279 Documents Cited by ▼ Year ▼ A syntactic approach to type soundness. Zbl 0938.68559Wright, Andrew K.; Felleisen, Matthias 81 1994 The revised report on the syntactic theories of sequential control and state. Zbl 0764.68094Felleisen, Matthias; Hieb, Robert 43 1992 A syntactic theory of sequential control. Zbl 0643.03011Felleisen, Matthias; Friedman, Daniel P.; Kohlbecker, Eugene; Duba, Bruce 33 1987 The call-by-need lambda calculus. Zbl 0887.68007Ariola, Zena M.; Felleisen, Matthias 23 1997 Contracts for higher-order functions. Zbl 1322.68039Findler, Robert Bruce; Felleisen, Matthias 23 2002 Fully abstract semantics for observably sequential languages. Zbl 0806.68072Cartwright, Robert; Curien, Pierre-Louis; Felleisen, Matthias 18 1994 Semantics engineering with PLT Redex. Zbl 1183.68359Felleisen, Matthias; Findler, Bruce; Flatt, Matthew 18 2009 On the expressive power of programming languages. Zbl 0745.68033Felleisen, Matthias 17 1991 The design and implementation of Typed Scheme. Zbl 1295.68055Tobin-Hochstadt, Sam; Felleisen, Matthias 14 2008 DrScheme: A programming environment for scheme. Zbl 0987.68610Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias 11 2002 On the expressive power of programming languages. Zbl 0765.68014Felleisen, Matthias 9 1990 The semantics of future and an application. Zbl 0926.68075Flanagan, C.; Felleisen, M. 9 1999 Extensible denotational language specifications. Zbl 0942.68544Cartwright, Robert; Felleisen, Matthias 7 1994 Complete monitors for behavioral contracts. Zbl 1352.68031Dimoulas, Christos; Tobin-Hochstadt, Sam; Felleisen, Matthias 6 2012 A syntactic theory of sequential state. Zbl 0688.68014Felleisen, Matthias; Friedman, Daniel P. 5 1989 Modeling an algebraic stepper. Zbl 0977.68705Clements, John; Flatt, Matthew; Felleisen, Matthias 5 2001 Logical types for untyped languages. Zbl 1323.68083Tobin-Hochstadt, Sam; Felleisen, Matthias 5 2010 Correct blame for contracts, no more scapegoating. Zbl 1284.68176Dimoulas, Christos; Findler, Robert Bruce; Flanagan, Cormac; Felleisen, Matthias 5 2011 How to design programs. An introduction to programming and computing. Zbl 0994.68013Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram 5 2001 The call-by-need lambda calculus, revisited. Zbl 1352.68040Chang, Stephen; Felleisen, Matthias 5 2012 How to evaluate the performance of gradual type systems. Zbl 1493.68087Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias 3 2019 Practical variable-arity polymorphism. Zbl 1234.68061Strickland, T. Stephen; Tobin-Hochstadt, Sam; Felleisen, Matthias 3 2009 Modeling web interactions. Zbl 1032.68575Graunke, Paul; Findler, Robert Bruce; Krishnamurthi, Shriram; Felleisen, Matthias 3 2003 Reflections on Landin’s J-operator: A partly historical note. Zbl 0628.68008Felleisen, Matthias 2 1987 Programming the Web with high-level programming languages. Zbl 0977.68732Graunke, Paul; Krishnamurthi, Shriram; Van Der Hoeven, Steve; Felleisen, Matthias 2 2001 Continuations from generalized stack inspection. Zbl 1302.68047Pettyjohn, Greg; Clements, John; Marshall, Joe; Krishnamurthi, Shriram; Felleisen, Matthias 2 2005 A tail-recursive semantics for stack inspections. Zbl 1032.68555Clements, John; Felleisen, Matthias 2 2003 Modular set-based analysis from contracts. Zbl 1369.68147Meunier, Philippe; Findler, Robert Bruce; Felleisen, Matthias 2 2006 Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Zbl 1268.68016 1 2013 Implementation and use of the PLT scheme web server. Zbl 1129.68330Krishnamurthi, Shriram; Hopkins, Peter Walton; McCarthy, Jay; Graunke, Paul T.; Pettyjohn, Greg; Felleisen, Matthias 1 2007 Scheme with classes, mixins, and traits. Zbl 1168.68345Flatt, Matthew; Findler, Robert Bruce; Felleisen, Matthias 1 2006 Modeling web interactions and errors. Zbl 1266.68037Krishnamurthi, Shriram; Findler, Robert Bruce; Graunke, Paul; Felleisen, Matthias 1 2006 How to evaluate the performance of gradual type systems. Zbl 1493.68087Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias 3 2019 Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Zbl 1268.68016 1 2013 Complete monitors for behavioral contracts. Zbl 1352.68031Dimoulas, Christos; Tobin-Hochstadt, Sam; Felleisen, Matthias 6 2012 The call-by-need lambda calculus, revisited. Zbl 1352.68040Chang, Stephen; Felleisen, Matthias 5 2012 Correct blame for contracts, no more scapegoating. Zbl 1284.68176Dimoulas, Christos; Findler, Robert Bruce; Flanagan, Cormac; Felleisen, Matthias 5 2011 Logical types for untyped languages. Zbl 1323.68083Tobin-Hochstadt, Sam; Felleisen, Matthias 5 2010 Semantics engineering with PLT Redex. Zbl 1183.68359Felleisen, Matthias; Findler, Bruce; Flatt, Matthew 18 2009 Practical variable-arity polymorphism. Zbl 1234.68061Strickland, T. Stephen; Tobin-Hochstadt, Sam; Felleisen, Matthias 3 2009 The design and implementation of Typed Scheme. Zbl 1295.68055Tobin-Hochstadt, Sam; Felleisen, Matthias 14 2008 Implementation and use of the PLT scheme web server. Zbl 1129.68330Krishnamurthi, Shriram; Hopkins, Peter Walton; McCarthy, Jay; Graunke, Paul T.; Pettyjohn, Greg; Felleisen, Matthias 1 2007 Modular set-based analysis from contracts. Zbl 1369.68147Meunier, Philippe; Findler, Robert Bruce; Felleisen, Matthias 2 2006 Scheme with classes, mixins, and traits. Zbl 1168.68345Flatt, Matthew; Findler, Robert Bruce; Felleisen, Matthias 1 2006 Modeling web interactions and errors. Zbl 1266.68037Krishnamurthi, Shriram; Findler, Robert Bruce; Graunke, Paul; Felleisen, Matthias 1 2006 Continuations from generalized stack inspection. Zbl 1302.68047Pettyjohn, Greg; Clements, John; Marshall, Joe; Krishnamurthi, Shriram; Felleisen, Matthias 2 2005 Modeling web interactions. Zbl 1032.68575Graunke, Paul; Findler, Robert Bruce; Krishnamurthi, Shriram; Felleisen, Matthias 3 2003 A tail-recursive semantics for stack inspections. Zbl 1032.68555Clements, John; Felleisen, Matthias 2 2003 Contracts for higher-order functions. Zbl 1322.68039Findler, Robert Bruce; Felleisen, Matthias 23 2002 DrScheme: A programming environment for scheme. Zbl 0987.68610Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias 11 2002 Modeling an algebraic stepper. Zbl 0977.68705Clements, John; Flatt, Matthew; Felleisen, Matthias 5 2001 How to design programs. An introduction to programming and computing. Zbl 0994.68013Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram 5 2001 Programming the Web with high-level programming languages. Zbl 0977.68732Graunke, Paul; Krishnamurthi, Shriram; Van Der Hoeven, Steve; Felleisen, Matthias 2 2001 The semantics of future and an application. Zbl 0926.68075Flanagan, C.; Felleisen, M. 9 1999 The call-by-need lambda calculus. Zbl 0887.68007Ariola, Zena M.; Felleisen, Matthias 23 1997 A syntactic approach to type soundness. Zbl 0938.68559Wright, Andrew K.; Felleisen, Matthias 81 1994 Fully abstract semantics for observably sequential languages. Zbl 0806.68072Cartwright, Robert; Curien, Pierre-Louis; Felleisen, Matthias 18 1994 Extensible denotational language specifications. Zbl 0942.68544Cartwright, Robert; Felleisen, Matthias 7 1994 The revised report on the syntactic theories of sequential control and state. Zbl 0764.68094Felleisen, Matthias; Hieb, Robert 43 1992 On the expressive power of programming languages. Zbl 0745.68033Felleisen, Matthias 17 1991 On the expressive power of programming languages. Zbl 0765.68014Felleisen, Matthias 9 1990 A syntactic theory of sequential state. Zbl 0688.68014Felleisen, Matthias; Friedman, Daniel P. 5 1989 A syntactic theory of sequential control. Zbl 0643.03011Felleisen, Matthias; Friedman, Daniel P.; Kohlbecker, Eugene; Duba, Bruce 33 1987 Reflections on Landin’s J-operator: A partly historical note. Zbl 0628.68008Felleisen, Matthias 2 1987 all cited Publications top 5 cited Publications all top 5 Cited by 453 Authors 8 Ariola, Zena M. 8 Roşu, Grigore 8 Thiemann, Peter J. 6 Danvy, Olivier 6 Felleisen, Matthias 6 Findler, Robert Bruce 6 Sabry, Amr 6 Schmidt-Schauß, Manfred 5 Sabel, David 5 Şerbănuţă, Traian Florin 4 Biernacka, Małgorzata 4 Harper, Robert 4 Herbelin, Hugo 4 Kiselyov, Oleg 4 Meseguer Guaita, José 4 New, Max S. 4 Siek, Jeremy G. 4 Talcott, Carolyn L. 4 Viroli, Mirko 4 Zucca, Elena 3 Bettini, Lorenzo 3 Biernacki, Dariusz 3 Culpepper, Ryan 3 Downen, Paul 3 Drossopoulou, Sophia Chloe 3 Flatt, Matthew 3 Gay, Simon J. 3 Giannini, Paola 3 Igarashi, Atsushi 3 Leroy, Xavier 3 Mason, Ian A. 3 Moggi, Eugenio 3 Mosses, Peter D. 3 Niehren, Joachim 3 Pitts, Andrew M. 3 Saurin, Alexis 3 Schwinghammer, Jan 3 Shan, Chung-chieh 3 Tanter, Éric 3 Tobin-Hochstadt, Sam 3 Zerny, Ian 2 Abel, Andreas M. 2 Alpuente, María 2 Appel, Andrew W. 2 Asai, Kenichi 2 Ballis, Demis 2 Baranov, Eduard 2 Bierman, Gavin M. 2 Birkedal, Lars 2 Bliudze, Simon 2 Boudes, Pierre 2 Capecchi, Sara 2 Charatonik, Witold 2 Cimini, Matteo 2 Curien, Pierre-Louis 2 Degen, Markus 2 Dezani-Ciancaglini, Mariangiola 2 Dockins, Robert 2 Ehrhard, Thomas 2 Feng, Xinyu 2 Frechina, Francisco 2 Friedman, Daniel P. 2 Giachino, Elena 2 Gibbons, Jeremy 2 Greenberg, Michael D. 2 Helsen, Simon 2 Hofmann, Martin 2 Hovland, Dag 2 Johnsen, Einar Broch 2 Kammar, Ohad 2 Kesner, Delia 2 Krebbers, Robbert 2 Krishnamurthi, Shriram 2 Laird, James D. 2 Laird, Jim 2 Lenglet, Sergueï 2 Licata, Daniel R. 2 Liquori, Luigi 2 McCarthy, Jay A. 2 Millikin, Kevin 2 Mourad, Benjamin 2 Owe, Olaf 2 Padovani, Luca 2 Pfenning, Frank 2 Pierce, Benjamin C. 2 Reppy, John H. 2 Ricci, Alessandro 2 Saito, Chieri 2 Sands, David 2 Sapiña, Julia 2 Servetto, Marco 2 Shao, Zhong 2 Sperber, Michael 2 Streicher, Thomas 2 Thielecke, Hayo 2 Urban, Christian 2 Venneri, Betti 2 Voigtlander, Janis 2 Wand, Mitchell 2 Wehr, Stefan ...and 353 more Authors all top 5 Cited in 32 Serials 46 Journal of Functional Programming 27 Theoretical Computer Science 18 Information and Computation 13 Higher-Order and Symbolic Computation 10 Science of Computer Programming 9 MSCS. Mathematical Structures in Computer Science 9 The Journal of Logic and Algebraic Programming 9 Logical Methods in Computer Science 8 Journal of Automated Reasoning 7 Annals of Pure and Applied Logic 7 Journal of Logical and Algebraic Methods in Programming 4 RAIRO. Theoretical Informatics and Applications 3 Theory and Practice of Logic Programming 2 Acta Informatica 2 Information Processing Letters 2 Formal Methods in System Design 2 Computer Languages, Systems & Structures 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Synthese 1 Journal of Symbolic Computation 1 New Generation Computing 1 Formal Aspects of Computing 1 Celestial Mechanics and Dynamical Astronomy 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Revista Investigación Operacional 1 Journal of the ACM 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Mathematics and the Arts 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science all top 5 Cited in 13 Fields 267 Computer science (68-XX) 68 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Mechanics of particles and systems (70-XX) 2 Mathematics education (97-XX) 1 Combinatorics (05-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Astronomy and astrophysics (85-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.