No photo of Robby Findler

View Scopus Profile

Robby Findler

 https://orcid.org/0000-0002-4245-2000
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
1995 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2021

    Sound and Complete Concolic Testing for Higher-order Functions

    You, S. H., Findler, R. B. & Dimoulas, C., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 635-663 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations
  • 2020

    Dynamic property caches: A step towards faster JavaScript proxy objects

    Serrano, M. & Findler, R. B., Feb 22 2020, CC 2020 - Proceedings of the 29th International Conference on Compiler Construction. Pouchet, L.-N. & Jimborean, A. (eds.). Association for Computing Machinery, Inc, p. 108-118 11 p. (CC 2020 - Proceedings of the 29th International Conference on Compiler Construction).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Scopus citations
  • 2019

    A calculus for Esterel: if can, can. if no can, no can

    Florence, S. P., You, S.-H., Tov, J. A. & Findler, R., 2019, Proceedings of the ACM on Programming Languages: POPL 2019. Vol. 3. 61

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2017

    Herbarium Racketensis: A Stroll through the Woods

    St Amour, V., Feltey, D., Florence, S. P., You, S.-H. & Findler, R., 2017, Proceedings of the ACM on Programming Languages, ICFP 2017. ACM, Vol. 1. 1

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Migratory typing: Ten years later

    Tobin-Hochstadt, S., Felleisen, M., Findler, R., Flatt, M., Greenman, B., Kent, A. M., St Amour, V., Strickland, T. S. & Takikawa, A., May 1 2017, 2nd Summit on Advances in Programming Languages, SNAPL 2017. Bodik, R., Lerner, B. S. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 71).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    21 Scopus citations
  • 2016

    A coq library for internal verification of running-times

    McCarthy, J., Fetscher, B., New, M., Feltey, D. & Findler, R., 2016, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. Kiselyov, O. & King, A. (eds.). Springer Verlag, p. 144-162 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9613).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Scopus citations

  • Extensible access control with authorization contracts

    Moore, S., Dimoulas, C., Findler, R. B., Flatt, M. & Chong, S., Oct 19 2016, OOPSLA 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Visser, E. & Smaragdakis, Y. (eds.). Association for Computing Machinery, p. 214-233 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 02-04-November-2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    7 Scopus citations

  • Oh Lord, please don't let contracts be misunderstood (Functional Pearl)

    Dimoulas, C., New, M. S., Findler, R. & Felleisen, M., Aug 4 2016, ICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. Sumii, E., Garrigue, J. & Keller, G. (eds.). Association for Computing Machinery, Inc, p. 117-131 15 p. (ICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Scopus citations
  • 2015

    Making random judgments: Automatically generating well-typed terms from the definition of a type-system

    Fetscher, B., Claessen, K., Pałka, M., Hughes, J. & Findler, R., 2015, Programming Languages and Systems - 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (ed.). Springer Verlag, p. 383-405 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9032).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    35 Scopus citations

  • POP-PL: A patient-oriented prescription programming language

    Florence, S. P., Fetscher, B., Flatt, M., Temps, W. H., Kiguradze, T., West, D. P., Niznik, C., Yarnold, P. R., Findler, R. & Belknap, S. M., Oct 26 2015, GPCE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Kastner, C. & Gokhale, A. (eds.). Association for Computing Machinery, Inc, p. 131-140 10 p. (GPCE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • The racket manifesto

    Felleisen, M., Findler, R. B., Flatt, M., Krishnamurthi, S., Barzilay, E., Mccarthy, J. & Tobin-Hochstadt, S., May 1 2015, 1st Summit on Advances in Programming Languages, SNAPL 2015. Ball, T., Bodik, R., Lerner, B. S., Morrisett, G. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 113-128 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 32).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    44 Scopus citations

  • Towards practical gradual typing

    Takikawa, A., Feltey, D., Dean, E., Flatt, M., Findler, R. B., Tobin-Hochstadt, S. & Felleisen, M., Jul 1 2015, 29th European Conference on Object-Oriented Programming, ECOOP 2015. Boyland, J. T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 4-27 24 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    23 Scopus citations
  • 2014

    Behavioral software contracts

    Findler, R., 2014, ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery, p. 137-138 2 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Distributed places

    Tew, K., Swaine, J., Flatt, M., Findler, R. & Dinda, P. A., Jan 1 2014, Trends in Functional Programming - 14th International Symposium, TFP 2013, Revised Selected Papers. Springer Verlag, p. 34-57 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8322 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations
  • 2013

    Option contracts

    Dimoulas, C., Findler, R. B. & Felleisen, M., 2013, SPLASH Indianapolis 2013: OOPSLA 2013 - Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages and Applications. p. 475-494 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Teaching garbage collection without implementing compilers or interpreters

    Cooper, G. H., Guha, A., Krishnamurthi, S., McCarthy, J. & Findler, R., 2013, SIGCSE 2013 - Proceedings of the 44th ACM Technical Symposium on Computer Science Education. p. 385-390 6 p. (SIGCSE 2013 - Proceedings of the 44th ACM Technical Symposium on Computer Science Education).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations
  • 2012

    Chaperones and impersonators: Run-time support for reasonable interposition

    Strickland, T. S., Tobin-Hochstadt, S., Findler, R. & Flatt, M., 2012, SPLASH 2012: OOPSLA'12 - Proceedings of the 2012 ACM International Conference on Object Oriented Programming SystemsLanguages and Applications. p. 943-961 19 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    63 Scopus citations

  • Run your research: On the effectiveness of lightweight mechanization

    Klein, C., Clements, J., Dimoulas, C., Eastlund, C., Felleisen, M., Flatt, M., McCarthy, J. A., Rafkind, J., Tobin-Hochstadt, S. & Findler, R. B., 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 285-296 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    29 Scopus citations

  • Seeing the futures: Profiling shared-memory parallel racket

    Swaine, J., Fetscher, B., St Amour, V., Findler, R. & Flatt, M., 2012, FHPC'12 - Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing. p. 73-82 10 p. (FHPC'12 - Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations
  • 2011

    A semantics for context-sensitive reduction semantics

    Klein, C., McCarthy, J., Jaconette, S. & Findler, R., 2011, Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Proceedings. p. 369-383 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7078 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Exploring circuit timing-aware language and compilation

    Hoang, G., Findler, R. & Joseph, R. E., 2011, ASPLOS XVI - 16th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 345-355 11 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    29 Scopus citations

  • Places: Adding message-passing parallelism

    Tew, K., Swaine, J., Flatt, M., Findler, R. & Dinda, P. A., 2011, DLS'11 - Proceedings of the 7th Symposium on Dynamic Languages. p. 85-96 12 p. (DLS'11 - Proceedings of the 7th Symposium on Dynamic Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations
  • 2010

    Back to the futures: Incremental parallelization of existing sequential runtime systems

    Swaine, J., Tew, K., Dinda, P. A., Findler, R. & Flatt, M., 2010, OOPSLA'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications. p. 583-597 15 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • Blame for all

    Ahmed, A., Findler, R., Siek, J. G. & Wadler, P., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 201-214 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations

  • Correct blame for contracts: No more scapegoating

    Dimoulas, C., Findler, R. B., Flanagan, C. & Felleisen, M., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 215-226 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Random testing for higher-order, stateful programs

    Klein, C., Flatt, M. & Findler, R., 2010, OOPSLA'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications. p. 555-566 12 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations
  • 2009

    A functional I/O system*: Or, fun for freshman kids

    Felleisen, M., Findler, R. B., Flatt, M. & Krishnamurthi, S., Nov 27 2009, ICFP'09 - Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming. p. 47-58 12 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    28 Scopus citations

  • Blame for all

    Ahmed, A., Findler, R., Matthews, J. & Wadler, P., 2009, Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09. p. 1-13 13 p. (Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations

  • Cycles without pollution: A gradual typing poem

    Tobin-Hochstadt, S. & Findler, R. B., Nov 30 2009, Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09. p. 47-57 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Scribble: Closing the book on Ad Hoc documentation tools

    Flatt, M., Barzilay, E. & Findler, R. B., Nov 27 2009, ICFP'09 - Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming. p. 109-120 12 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Scopus citations

  • Well-Typed programs can't be blamed

    Wadler, P. & Findler, R. B., 2009, Programming Languages and Systems - 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Proceedings. p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5502).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    154 Scopus citations
  • 2008

    Lazy contract checking for immutable data structures

    Findler, R. B., Guo, S. Y. & Rogers, A., 2008, Implementation and Application of Functional Languages - 19th International Symposium, IFL 2007, Revised Selected Papers. p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5083 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    22 Scopus citations
  • 2007

    Adding delimited and composable control to a production programming environment

    Flatt, M., Yu, G., Findler, R. B. & Felleisen, M., 2007, ICFP'07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. p. 165-176 12 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    27 Scopus citations

  • A rewriting semantics for type inference

    Kuan, G., MacQueen, D. & Findler, R. B., 2007, Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings. Springer Verlag, p. 426-440 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4421 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    10 Scopus citations

  • Operational semantics for multi-language programs

    Matthews, J. & Findler, R. B., 2007, Conference Record of POPL 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Papers Presented at the Symposium. p. 3-10 8 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    56 Scopus citations

  • Relationally-parametric polymorphic contracts

    Guha, A., Matthews, J., Findler, R. B. & Krishnamurthi, S., 2007, 2007 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA - 2007 Dynamic Languages Symposium, DLS. p. 29-40 12 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    31 Scopus citations
  • 2006

    Contracts as Pairs of projections

    Findler, R. B. & Blume, M., 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Proceedings. Springer Verlag, p. 226-241 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3945 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    44 Scopus citations

  • Modular set-based analysis from contracts

    Meunier, P., Findler, R. B. & Felleisen, M., 2006, Conference Record of POPL 2006: 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 218-231 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Scopus citations

  • Scheme with classes, mixins, and traits

    Flatt, M., Findler, R. B. & Felleisen, M., 2006, Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings. Springer Verlag, p. 270-289 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4279 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    34 Scopus citations
  • 2005

    Fine-grained interoperability through mirrors and contracts

    Gray, K. E., Findler, R. B. & Flatt, M., 2005, OOPSLA'05 - Conference Proceedings: 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. Association for Computing Machinery, p. 231-245 15 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    37 Scopus citations
  • 2004

    Kill-safe synchronization abstractions

    Flatt, M. & Findler, R. B., Jan 1 2004, Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementaion (PLD'04). Association for Computing Machinery, Vol. 1. p. 47-58 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    29 Scopus citations

  • Semantic casts: Contracts and structural subtyping in a nominalworld

    Findler, R. B., Flatt, M. & Felleisen, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Odersky, M. (ed.). Springer Verlag, p. 365-389 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3086).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Slideshow: Functional presentations

    Findler, R. B. & Flatt, M., Dec 1 2004, Proceedings of the NinthACM SIGPLAN International Conference on Functional programming, ICFP'04. p. 224-235 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Super and inner - Together at last!

    Goldberg, D. S., Findler, R. B. & Flatt, M., 2004, OOPSLA'04 - Conference Proceedings: 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. p. 116-129 14 p. (19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations
  • 2002

    Contracts for higher-order functions

    Findler, R. B. & Felleisen, M., Dec 1 2002, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. p. 48-59 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    360 Scopus citations
  • 2001

    Automatically restructuring programs for the web

    Graunke, P., Findler, R. B., Krishnamurthi, S. & Felleisen, M., 2001, Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001. Institute of Electrical and Electronics Engineers Inc., p. 211-222 12 p. (Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    32 Scopus citations

  • Behavioral contracts and behavioral subtyping

    Findler, R. B., Latendresse, M. & Felleisen, M., Dec 1 2001, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. p. 229-236 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    47 Scopus citations

  • Contract soundness for object-oriented languages

    Findler, R. B. & Felleisen, M., Dec 1 2001, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. Vol. 36. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    72 Scopus citations
  • 1997

    Drscheme: A pedagogic programming environment for scheme

    Findler, R. B., Flanagan, C., Flatt, M., Krishnamurthi, S. & Felleisen, M., 1997, Programming Languages: Implementations, Logics, and Programs - 9th International Symposium on Programming Languages, PLILP 1997, Including a Special Track on Declarative Programming Languages in Education, Proceedings. Glaser, H., Hartel, P. & Kuchen, H. (eds.). Springer Verlag, p. 369-388 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1292).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    55 Scopus citations