by Anderson, Sean Noble, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C., Tolmach, Andrew
Published in 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (01.07.2023)

by Bach Poulsen, Casper, Rouvoet, Arjen, Tolmach, Andrew, Krebbers, Robbert, Visser, Eelco
Published in Proceedings of ACM on programming languages (01.01.2018)

by Tolmach, Andrew, Leroy, Xavier
Published in Journal of functional programming (01.09.2011)

by Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew
Published in Journal of computer security (01.12.2016)

by Azevedo de Amorim, Arthur, Collins, Nathan, Dehon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew
Published in Journal of computer security (01.12.2016)

by de Amorim, Arthur Azevedo, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew
Published in 2015 IEEE Symposium on Security and Privacy (01.05.2015)

by Neron, Pierre, Tolmach, Andrew, Visser, Eelco, Wachsmuth, Guido
Published in Programming Languages and Systems

by Dockins, Robert, Tolmach, Andrew
Published in Programming Languages and Systems

by TOLMACH, ANDREW, OLIVA, DINO P.
Published in Journal of functional programming (01.07.1998)

by Chhak, CHR, Tolmach, Andrew, Anderson, Sean
Year of Publication 18.12.2020

by Sean Noble Anderson, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C, Tolmach, Andrew
Published in arXiv.org (21.03.2024)

by Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, de Amorim, Arthur Azevedo, Georges, Aïna Linn, Hritcu, Catalin, Tolmach, Andrew
Year of Publication 29.01.2024

by Chhak, CHR, Tolmach, Andrew, Anderson, Sean
Published in arXiv.org (18.12.2020)

by Antoy, Sergio, Hanus, Michael, Liu, Jimeng, Tolmach, Andrew
Published in Implementation and Application of Functional Languages (2005)

by Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, Azevedo de Amorim, Arthur, Aïna Linn Georges, Hritcu, Catalin, Tolmach, Andrew
Published in arXiv.org (01.07.2024)

by NORDIN, THOMAS, TOLMACH, ANDREW
Published in Journal of functional programming (01.09.2001)

by Fachini, Guglielmo, Hritcu, Catalin, Stronati, Marco, Evans, Ana Nora, Laurent, Théo, de Amorim, Arthur Azevedo, Pierce, Benjamin C, Tolmach, Andrew
Year of Publication 19.10.2017

by Abate, Carmine, de Amorim, Arthur Azevedo, Blanco, Roberto, Evans, Ana Nora, Fachini, Guglielmo, Hritcu, Catalin, Laurent, Théo, Pierce, Benjamin C, Stronati, Marco, Thibault, Jérémy, Tolmach, Andrew
Year of Publication 02.02.2018

by Tolmach, Andrew, Antoy, Sergio
Published in Electronic notes in theoretical computer science (01.11.2003)

by Tolmach, Andrew, Appel, Andrew W.
Published in Journal of functional programming (01.04.1995)