Domain-Specific Languages and Code Synthesis Using HaskellGILL, Andy.Communications of the ACM. 2014, Vol 57, Num 6, pp 42-49, issn 0001-0782, 8 p.Article

Discovering JavaScript Object NotationSEVERANCE, Charles.Computer (Long Beach, CA). 2012, Vol 45, Num 4, pp 6-8, issn 0018-9162, 3 p.Article

Proceedings of the ACM SIGPLAN/SIGBED 2011 Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'11)ACM SIGPLAN notices. 2011, Vol 46, Num 5, issn 1523-2867, 178 p.Conference Proceedings

Adding Autonomy into ObjectAHMED, Jamil; SHENG YU.Foundations of computer science. International conferenceWorldComp'2011. 2011, pp 136-141, isbn 1-60132-179-1, 6 p.Conference Paper

Finite State Machine Minimization and Row Equivalence ApplicationFARHAT, Hassan.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2011. 2011, pp 431-434, isbn 1-60132-180-5, 4 p.Conference Paper

Hybrid Partial EvaluationSHALI, Amin; COOK, William R.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 375-390, issn 1523-2867, 16 p.Conference Paper

Immutable Specifications for More Concise and Precise VerificationDAVID, Cristina; CHIN, Wei-Ngan.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 359-374, issn 1523-2867, 16 p.Conference Paper

Targeting Complex Embedded Architectures by Combining the Multicore Communications API (MCAPI) with Compile-Time VirtualisationGRAY, Ian; AUDSLEY, Neil C.ACM SIGPLAN notices. 2011, Vol 46, Num 5, pp 51-60, issn 1523-2867, 10 p.Conference Paper

Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XV)ACM SIGPLAN notices. 2010, Vol 45, Num 3, issn 1523-2867, 419 p.Conference Proceedings

Proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA'10)ACM SIGPLAN notices. 2010, Vol 45, Num 10, issn 1523-2867, 981 p.Conference Proceedings

An AST Plagiarism Detection Model for Procedural Programming LanguagesLIU DONGSHENG; ZHONG MEI; SHI SHUMIN et al.Foundations of computer science. International conferenceWorldComp'2010. 2010, pp 187-191, isbn 1-60132-142-2, 5 p.Conference Paper

Exchanging Sources Between Clean and Haskell A Double-Edged Front End for the Clean CompilerVAN GRONINGEN, John; VAN NOORT, Thomas; ACHTEN, Peter et al.ACM SIGPLAN notices. 2010, Vol 45, Num 11, pp 49-60, issn 1523-2867, 12 p.Conference Paper

Instance Chains: Type Class Programming Without Overlapping InstancesGARRETT MORRIS, J; JONES, Mark P.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 375-386, issn 1523-2867, 12 p.Conference Paper

Pure Subtype SystemsHUTCHINS, Delesley S.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 287-298, issn 1523-2867, 12 p.Conference Paper

Species and Functors and Types, Oh My!YORGEY, Brent A.ACM SIGPLAN notices. 2010, Vol 45, Num 11, pp 147-158, issn 1523-2867, 12 p.Conference Paper

Supercompilation by EvaluationBOLINGBROKE, Maximilian; PEYTON JONES, Simon.ACM SIGPLAN notices. 2010, Vol 45, Num 11, pp 135-146, issn 1523-2867, 12 p.Conference Paper

An Overview of the Oregon Programming Languages Summer SchoolALLEN, Jim; ARIOLA, Zena; ZDANCEWIC, Steve et al.ACM SIGPLAN notices. 2009, Vol 44, Num 11, pp 1-8, issn 1523-2867, 8 p.Article

Pondérations, collisions et préservation de la majorité en logique des pénalitésCHETCUTI-SPERANDIO, Nathalie; LAGRUE, Sylvain.Information interaction intelligence. 2009, Vol 9, Num 2, pp 31-50, issn 1630-649X, 20 p.Article

Comparing Libraries for Generic Programming in HaskellRODRIGUEZ, Alexey; JEURING, Johan; JANSSON, Patrik et al.ACM SIGPLAN notices. 2009, Vol 44, Num 2, pp 111-122, issn 1523-2867, 12 p.Conference Paper

Complete and Decidable Type Inference for GADTsSCHRIJVERS, Tom; JONES, Simon Peyton; SULZMANN, Martin et al.ACM SIGPLAN notices. 2009, Vol 44, Num 9, pp 341-352, issn 1523-2867, 12 p.Conference Paper

F2PY: a tool for connecting Fortran and Python programsPETERSON, Pearu.International journal of computational science and engineering (Print). 2009, Vol 4, Num 4, pp 296-305, issn 1742-7185, 10 p.Conference Paper

Generic Programming with Fixed Points for Mutually Recursive DatatypesRODRIGUEZ YAKUSHEV, Alexey; HOLDERMANS, Stefan; LÖH, Andres et al.ACM SIGPLAN notices. 2009, Vol 44, Num 9, pp 233-244, issn 1523-2867, 12 p.Conference Paper

Is There a Fourth Futamura Projection?GLÜCK, Robert.ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation. 2009, pp 51-60, isbn 978-1-60558-327-3, 1Vol, 10 p.Conference Paper

State-Dependent Representation IndependenceAHMED, Amal; DREYER, Derek; ROSSBERG, Andreas et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 340-353, issn 1523-2867, 14 p.Conference Paper

Systematic search within an optimisation space based on Unified Transformation FrameworkSHUN LONG; FURSIN, Grigori.International journal of computational science and engineering (Print). 2009, Vol 4, Num 2, pp 102-111, issn 1742-7185, 10 p.Conference Paper